Proceedings of the Twenty-First International Conference on Artificial Intelligence Conference (IJCAI-11)Toby Walsh · First published 2011Open the Tome
Proceedings of the Twenty-First International Conference on Artificial Intelligence Conference CD-ROM (IJCAI-11)Toby Walsh · First published 2011Open the Tome
Theory and applications of satisfiability testingFahiem Bacchus, Toby Walsh · First published 2005Open the Tome
Principles and Practice of Constraint Programming - CP 2001Toby Walsh · First published 2001Open the Tome