Fahiem Bacchus

Theory and applications of satisfiability testing

Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS-11)