Rintanen, J. Planning With Specialized SAT Solvers. AAAI 2011, 25, 1563-1566.