SAT-based planning with minimal-#actions plans and ”soft” goals (2007)

by Enrico Giunchiglia, Marco Maratea
Venue:Proc. of the 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), volume 4733 of Lecture Notes in Computer Science