Constraint Handling Rules

Known as: CHR, CHR.js 
Constraint Handling Rules (CHR) is a declarative, rule-based language, introduced in 1991 by Thom Frühwirth at the time in the University of Ulm… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of… (More)
Is this relevant?
2008
2008
What should you think more? Time to get this [PDF? It is easy then. You can only sit and stay in your place to get this book. Why… (More)
Is this relevant?
2007
2007
Constraint Handling Rules (CHR) are a powerful rule based language for specifying constraint solvers. Critical for any rule based… (More)
Is this relevant?
2006
2006
Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint… (More)
  • figure 1
Is this relevant?
2005
2005
Program analysis is essential for the optimized compilation of Constraint Handling Rules (CHRs) as well as the inference of… (More)
  • table 2
  • table 1
  • table 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Constraint Handling Rules (CHRs) are a high-level rulebased programming language commonly used to write constraint solvers. The… (More)
Is this relevant?
2002
2002
Classical Constraint Handling Rules (CHR) provide a powerful tool for specifying and implementing constraint solvers and programs… (More)
Is this relevant?
1998
1998
E-mail : fabdennad,marteg@informatik.uni-muenchen.de Abstract : Timetabling the courses offered at the Computer Science Dep… (More)
Is this relevant?
1996
1996
We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers… (More)
Is this relevant?
1994
1994
This paper describes an application of constraint handling rules to temporal reasoning and illustrates the conceptual simplicity… (More)
Is this relevant?