2 papers
cs.AI2026
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
João Filipe, Álvaro Torralba, Gregor Behnke
Factored tasks are a classical planning representation that extends SAS+ with limited forms of disjunctive preconditions, conditional effects, and angelic nondeterminism. This allo…
cs.AI2012
Lex-Partitioning: A New Option for BDD Search
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented an…