conftrace_

satisfiability encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

planning as satisfiability (1) conditional effect (1) classical planning (1)

Papers

Rolling in Classical Planning with Conditional Effects and Constraints IJCAI 2025