Handbook of Constraint Programming

@inproceedings{Beek2006HandbookOC,
  title={Handbook of Constraint Programming},
  author={Pascal van Beek and Toby. Walsh},
  booktitle={Handbook of Constraint Programming},
  year={2006}
}
Syntax We distinguish between two different kinds of constraints: built-in (pre-defined) constraints which are solved by a built-in constraint solver, and CHR (user-defined) constraintswhich are defined by the rules in a CHR program. Built-in const rain s include syntactic equality=, true, andfalse. This distinction allows to embed and utilize existing constraint solvers as well as side-effect-free host langua ge statements. Built-in constraint solvers are considered as black-boxes in whose… CONTINUE READING
Highly Influential
This paper has highly influenced 71 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 743 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 433 extracted citations

744 Citations

050100'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 744 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 112 references

A High Performa nce CHRv Execution Engine

  • L. Menezes, J. Vitorino, M. Aurelio
  • InSecond Workshop on Constraint Handling Rules…
  • 2005
Highly Influential
8 Excerpts

Non-deterministic con tr l for hybrid search

  • L. Michel, P. Van Hentenryck
  • CPAIOR’05: Proceedings of the 2nd International…
  • 2005
Highly Influential
8 Excerpts

The K.U.Leuv n JCHR System

  • P. V. Weert, T. Schrijvers, B. Demoen
  • In Second Workshop on Constraint Handling Rules,
  • 2005
Highly Influential
8 Excerpts

Ja ck: A java constraint kit

  • S. Abdennadher, E. Krämer, M. Saft, M. Schmauss
  • Electronic Notes in Theoretical Computer Science…
  • 2000
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…