"Revisiting Regression in Planning", Vidal Alcázar, Daniel Borrajo, Susana Fernández and Raquel Fuentetaja. International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China.Erratum: In this paper we reported incorrectly that Mp solved 0 problems on Parcprinter, whereas it is able to solve the 20 problems of the set. The above version of the paper corrects this.
"A SAT Compilation of the Landmark Graph.", Vidal Alcázar and Manuela Veloso Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2011), 47--54, Freiburg im Breisgau, Germany