A compact and efficient SAT encoding for planning (2008)

by N Robinson, C Gretton, D-N Pham, A Sattar
Venue:In Proc. ICAPS