RESEARCHarXiv CS.AI·hace 9d
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
Este trabajo investiga cómo codificar tareas factorizadas, una representación de planificación clásica, en SAT. Propone varias estrategias para traducir la relación de transición factorizada a lógica proposicional y analiza el impacto de las transformaciones de tareas en el rendimiento de los planificadores basados en SAT.
27