Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version) 事件

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version) arXiv:2605.30563v1 Announce Type: new Abstract: Factored tasks are a classical planning representation that extends SAS+ with limited forms of disjunctive preconditions, conditional effects, and angelic nondeterminism. This allows for a more compact representation of tasks than traditional formalisms such as STRIPS or SAS+, and supports a wide range of task transformations. However, existing planning approa