J. Rintanen, “Planning with Specialized SAT Solvers”, AAAI, vol. 25, no. 1, pp. 1563-1566, Aug. 2011.