Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS-11)Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert · First published 2011Open the Tome
Theory and Applications of Satisfiability TestingToby Walsh,Fahiem Bacchus · First published 2008Open the Tome
Theory and applications of satisfiability testingFahiem Bacchus, Toby Walsh · First published 2005Open the Tome
Representing and reasoning with probabilistic knowledgeFahiem Bacchus · First published 1990Open the Tome
