Friends or foes? On planning as satisfiability and abstract CNF encodings (2009)

by C Domshlak, J Hoffmann, A Sabharwal
Venue:Journal of Artificial Intelligence Research