Books | Journals | Conferences | Workshops | Reports

Proc. of 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Editor.

A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. Francesca Rossi, Brent Venable and Toby Walsh. Morgan and Claypool Publishers. 2011.

Handbook of Satisfiability. Editor, 2009.
ISBN: 978-1-58603-929-5, 980 pages.

Handbook of Knowledge Representation. 2008.
ISBN 0-444-52211-5, 1034 pages. Chapter on Constraint Programming.

Handbook of Constraint Programming. Editor, 2006.
ISBN 0-444-52726-5, 978 pages. Table of Contents.
Chapters co-authored: Introduction, Randomness and Structure.

SAT-2005: satisfiability research in the year 2005. Editor.
Collects papers from Journal of Automated Reasoning, Volume 35, Numbers 1-3, October 2005.

Proc. of 8th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2005). Editor.

Proc. of 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-2003). Editor.

Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP 2001). Editor.

Abstraction, Reformulation, and Approximation: Proc. of 4th International Symposium, (SARA 2002). Editor.

SAT-2000: satisfiability research in the year 2000 (Introduction pdf legal ps letter ps).
Frontiers in AI, Volume 63, IOS Press, Amsterdam 2000. Collects papers from Journal of Automated Reasoning, Vol 24, Issue 1/2, and Issue 4.

A Theory of Abstraction. (pdf legal ps letter ps).
Toby Walsh, PhD thesis, Edinburgh University, 1990.