Planning as satisfiability in nondeterministic domains (2000)

by E Ferraris, E Giunchiglia
Venue:In Proceedings of the Seventeenth National Conference on Artificial Intelligence