Revision as of 19:25, 6 May 2021 edit MrOllie (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 255,429 edits Restored revision 1012506689 by 2607:FEA8:E324:2A00:F471:4925:CF5D:B107 (talk): Rm recently added list of external links per WP:ELNO, WP:NOT Tags: Twinkle Undo ← Previous edit		Revision as of 21:48, 24 May 2021 edit undo Citation bot (talk \| contribs) Bots 5,863,260 edits Alter: url. URLs might have been anonymized. \| Use this bot. Report bugs. \| Suggested by SemperIocundus \| #UCB_webform Next edit →
Line 2: {{Programming paradigms}} '''Constraint programming (CP)'''<ref name=":0">{{Cite book\|url=https://books.google.com/books?id=Kjap9ZWcKOoC&~~pg=PP1&dq~~q=handbook+of+constraint+programming&pg=PP1\|title=Handbook of Constraint Programming\|last1=Rossi\|first1=Francesca\|last2=Beek\|first2=Peter van\|last3=Walsh\|first3=Toby\|date=2006-08-18\|publisher=Elsevier\|isbn=9780080463803\|language=en}}</ref> is a paradigm for solving [[combinatorial]] problems that draws on a wide range of techniques from [[artificial intelligence]], [[computer science]], and [[operations research]]. In constraint programming, users declaratively state the [[Constraint (mathematics)\|constraints]] on the feasible solutions for a set of decision variables. Constraints differ from the common [[Language primitive\|primitives]] of [[imperative programming]] languages in that they do not specify a step or sequence of steps to execute, but rather the properties of a solution to be found. In addition to constraints, users also need to specify a method to solve these constraints. This typically draws upon standard methods like chronological [[backtracking]] and [[constraint propagation]], but may use customized code like a problem specific branching [[Heuristic (computer science)\|heuristic]]. Constraint programming takes its root from and can be expressed in the form of [[constraint logic programming]], which embeds constraints into a [[logic program]]. This variant of logic programming is due to Jaffar and Lassez,<ref>Jaffar, Joxan, and J-L. Lassez. "[https://dl.acm.org/citation.cfm?id=41635 Constraint logic programming]." Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM, 1987.</ref> who extended in 1987 a specific class of constraints that were introduced in [[Prolog II]]. The first implementations of constraint logic programming were [[Prolog III]], [[CLP(R)]], and [[CHIP (programming language)\|CHIP]].

Constraint programming: Difference between revisions