SAS+ planning as satisfiability (2012)

by R Huang, Y Chen, W Zhang
Venue:J. Artif. Intell. Res. (JAIR