Books on CHR

The more you CHR, the better you are.

CHR Book Cover

Thom Frühwirth

Constraint Handling Rules. Textbook, 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.

Book cover

Thom Frühwirth, Frank Raiser (editors)

Constraint Handling Rules: Compilation, Execution, and Analysis. Textbook, ISBN 978-3-7460-6905-0, 2011, 2018.

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. Textbook, Springer Verlag, ISBN 9780817644451, 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. Textbook, Lecture Notes in Artificial Intelligence, Vol. 5388, Springer Verlag, ISBN 9783540922438, 2008.

A selection of recent research papers on CHR.