Encoding Plans in Propositional Logic.

Henry A. Kautz, David A. McAllester, Bart Selman

Browse the full KR paper archive.