Jussi Rintanen. Planning and SAT. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 483-504, IOS Press, 2009. [doi]
Abstract is missing.