Recommended books on CHR

Thom Frühwirth. Constraint Handling Rules. Cambridge University Press, ISBN 9780521877763, 2009.

The standard reference authored by the designer of CHR - Provides a CHR tutorial for easy introduction - An essential source for researchers, lecturers, graduate students and professional programmers.

Thom Frühwirth, Frank Raiser (editors). Constraint Handling Rules: Compilation, Execution, and Analysis. Textbook, ISBN 978-3-83-911591-6, March 2011.

This book presents recent research in implementation, extensions, and novel analyses of CHR. It starts with a concise and research-oriented introduction to CHR. After that, carefully selected chapters from recent PhD theses provide detailed information on the topics of compilation and optimization, execution strategies, and formal analysis of CHR. These chapters can be read individually based on the reader's interest.

Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. Springer Verlag, 2003.

The first book that presents constraint logic programming languages and constraint solving systems in a uniform and concise way, using CHR as a specification and implementation language.

Tom Schrijvers and Thom Frühwirth. Constraint Handling Rules: Current Research Topics. Lecture Notes in Artificial Intelligence, Vol. 5388, Springer Verlag, 2008.

A selection of recent research papers on CHR.

PhD theses

  • Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010.
  • Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008.
  • Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008.
  • Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008.
  • Paolo Tacchella. Constraint Handling Rules — Compositional Semantics and Program Transformation. PhD thesis, Department of Computer Science, University of Bologna, Italy, March 2008.
  • Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005.
  • Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005.
  • Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001.
  • Armin Wolf. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules — Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-probleme. PhD thesis, Technical University Berlin, Germany, 1999.
  • Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, Department of Computer Science, LMU, Munchen, Germany, December 1997.
More books and more theses from the CHR bibliography.

More than 1300 books are mentioning CHR (according to Google).

Books on CHR applications

CHR Mailing List

Subscribe to the CHR mailing list to get announcements of CHR-related events and to discuss about CHR.