F
Fahiem Bacchus
3 works on record
Works

Theory and applications of satisfiability testing

Representing and reasoning with probabilistic knowledge
Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS-11)
Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS-11)