Constraint Handling Rules
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
- Constraint Handling Rules
- 2008
Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of… (More)
Is this relevant?
2008
2008
- ICLP
- 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
- ICLP
- 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
- TPLP
- 2006
Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint… (More)
Is this relevant?
2005
2005
- PPDP
- 2005
Program analysis is essential for the optimized compilation of Constraint Handling Rules (CHRs) as well as the inference of… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
- ICLP
- 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
- Electr. Notes Theor. Comput. Sci.
- 2002
Classical Constraint Handling Rules (CHR) provide a powerful tool for specifying and implementing constraint solvers and programs… (More)
Is this relevant?
1998
1998
- JFPLC
- 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
- CP
- 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
- 1994
This paper describes an application of constraint handling rules to temporal reasoning and illustrates the conceptual simplicity… (More)
Is this relevant?