Skip to content
Sagan

Paper

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

Unreadunread

AI summary

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.