Enrico Giunchiglia Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. 422-433 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_37 db/conf/aiia/aiia2007.html#GiunchigliaM07