RESEARCHarXiv CS.AI·il y a 8j
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
Ce travail étudie comment encoder les tâches factorisées, une représentation de planification classique, en SAT. Il propose plusieurs stratégies pour traduire la relation de transition factorisée en logique propositionnelle et analyse l'impact des transformations de tâches sur la performance des planificateurs basés sur SAT.
27