Books by Fahiem Bacchus

4 books found

Representing and reasoning with probabilistic knowledge

Representing and reasoning with probabilistic knowledge

19901 ed.
Theory and applications of satisfiability testing

Theory and applications of satisfiability testing

20052 ed.
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

20081 ed.
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)

20111 ed.