Pushing the Envelope: Planning, Propositional Logic and Stochastic Search.

Henry A. Kautz, Bart Selman

Browse the full AAAI paper archive.