Planning as Satisfiability in Nondeterministic Domains.

Paolo Ferraris, Enrico Giunchiglia

Browse the full AAAI paper archive.