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.