Enrico Giunchiglia

• Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
• SAT 2005
• Theory and applications of satisfiability testing