BASIC CHR DOCUMENTS, PAPERS, PUBLICATIONS, TUTORIALS, TALKS

Introduction, Books and Manuals for CHR

• CHR Survey Paper, main CHR Reference:
  Thom Frühwirth, Theory and Practice of Constraint Handling Rules (ps.gz), Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriott, Eds.), Journal of Logic Programming, Vol 37(1-3), October 1998.
• T. Frühwirth and S. Abdennadher, Essentials of Constraint Programming, Springer Verlag, February 2003.
• CHR User Manual CHR Manual (ps.Z) (both for Sicstus Prolog)
• In German:
  CHR Systembeschreibung
  Constraint-Programmierung mit CHR, Folien
  T. Frühwirth and S. Abdennadher, Constraint-Programmierung, Textbook, Springer, 1997.

Tutorials on CHR

• CHR Around the World, slides of invited talk at W(C)LP 2005
• ICLP'02
• ECAI'02 (Slides)
• Frocos'02 (Slides, Slides with Overlay)
• KI'01
• IJCAR 2001 (Slides: Description Logic - Terminological Reasoning, Theorem Proving - Resolution Variants)
• For more, see the Constraint Course

Analysis and Compilation of CHR - basic references 1997-2002

• T. Frühwirth, As Time Goes By: Automatic Complexity Analysis of Simplification Rules, 8th Intl Conf on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2002.
• C. Holzbaur, P.J. Stuckey, M. Garcia de la Banda, and D. Jeffery, Optimizing compilation of constraint handling rules, Logic Programming: Proceedings of the 17th International Conference, (P. Codognet, ed.), LNCS, Springer-Verlag, 2001.
• C. Holzbaur and T. Frühwirth, A Prolog Constraint Handling Rules Compiler and Runtime System, Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules (C. Holzbaur and T. Frühwirth, Eds.), Taylor & Francis, Vol 14(4), April 2000.
• S. Abdennadher, E. Krämer, M. Saft and M. Schmauss, JACK: A Java Constraint Kit, Electronic Notes in Theoretical Computer Science Volume 64, 2000.
• S. Abdennadher and T. Frühwirth, Operational Equivalence of CHR Programs and Constraints, Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandra, Virginia, USA, Springer LNCS, October 1999. Paper with proofs. Slides.
• S. Abdennadher, T. Frühwirth and H. Meuss, Semantics and Confluence of Constraint Simplification Rules, Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming (E. Freuder, ed.), Kluwer Academic Publishers, Vol 4(2), May 1999.
• T. Frühwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998.
• S. Abdennadher and T. Frühwirth, On Completion of Constraint Handling Rules, Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Pisa, Italy, October 1998. Slides.
• S. Abdennadher, Operational Semantics and Confluence of Constraint Propagation Rules, Third International Conference on Principles and Practice of Constraint Programming, CP'97, Schloss Hagenberg, Austria, Springer LNCS, 1997.

See also the sections on Recent Papers and on Applications and Projects.

Tom Schrijvers, updated Mar 7 2005