A Compact and Efficient SAT Encoding for Planning.

Nathan Robinson Charles Gretton Duc Nghia Pham Abdul Sattar A Compact and Efficient SAT Encoding for Planning. 296-303 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#RobinsonGPS08