Jussi Rintanen Planning and SAT. 483-504 2009 Handbook of Satisfiability http://dx.doi.org/10.3233/978-1-58603-929-5-483 series/faia/2009-185 db/series/faia/faia185.html#Rintanen09