Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.

Chitta Baral, Thomas Eiter, Jicheng Zhao

Browse the full AAAI paper archive.