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.