Talk:Constraint programming: Difference between revisions

Revision as of 07:35, 28 May 2006

Latest revision as of 23:36, 30 January 2024

(19 intermediate revisions by 14 users not shown)

Line 1:

{{Talk header}}

{{WikiProject banner shell|class=C|

{{WikiProject Computing|importance=Mid}}

}}

{{to do}}

==[Untitled]==

What about YAP Prolog? http://www.ncc.up.pt/~vsc/Yap/documentation.html#SEC117 <small>—The preceding [[Wikipedia:Sign your posts on talk pages|unsigned]] comment was added by [[User:193.136.29.2|193.136.29.2]] ([[User talk:193.136.29.2|talk]] • [[Special:Contributions/193.136.29.2|contribs]]) 00:33, 15 April 2006 (UTC{{{3|}}})</small><!-- [Template:Unsigned2] -->

:Ok. At some point, this list of logic programming implementations should go to [[Constraint logic programming]]. - [[User:Paolo Liberatore|Liberatore]]([[User talk:Paolo Liberatore|T]]) 10:34, 15 April 2006 (UTC)

Line 13 ⟶ 20:

Proposal:

# Constraint programming is actually the embedding of constraints of [[constraint satisfaction problem]]s into a programming language; I would not consider a [[constraint satisfaction problem]] itself a form of "constraint program";

# [[constraint logic programming]] is a form of constraint programming, but is not the only one

# I would remove the fact that constraint programming is Turing-complete, as this depends on the specific programming paradigm used (in particular, solving a CSP is not a Turing-complete problem)

Line 19 ⟶ 26:

Anything missing? - [[User:Paolo Liberatore|Liberatore]]([[User talk:Paolo Liberatore|T]]) 11:23, 9 March 2006 (UTC)

== Strings in Domains ==

Why are strings not added to the ___domain section?

When testing systems, it is often needed to solve string constraints.

For example, passwords must adhere to the constraints to ensure they are strong, and

input on a web form has to be in correspondence with a regular expression, e.g. of a ZIP code or IBAN account number.

A dedicate regex solver is Xeger https://code.google.com/p/xeger/

General purpose solvers are CVC4 http://cvc4.cs.nyu.edu/web/ and Z3str2 https://sites.google.com/site/z3strsolver/

== Domains? Solvers? ==

There seem to be several problems with this article:

* The domains section gives some examples, and then starts talking about "finite domains" -- is this correct? Some of the example domains are infinite, right? e.g. the linear-arithmetic constraints?

* The implementations section lists tools, such as drools, which supposedly solve such problems, but I'm pretty sure (might be wrong) that most of these tools can't actually solve any of the example domains, and/or would have disasterous performance.

* All of the examples given are standard examples from [[satisfiability modulo theories]], which have nice, clean formalized notions of these domains,and are very fast at solving them ... yet this article barely mentions this.

So I'm confused ... help appreciated.[[User:Linas|linas]] ([[User talk:Linas|talk]]) 18:21, 16 June 2011 (UTC)

"Constraint programming began with constraint logic programming, which embeds constraints into a logic program. This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II."

This claim is wrong. Many constraint programming papers were published before, e.g., Ugo Montanari: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci. 7: 95-132, '''1974'''. Furthermore, ALICE (J.-L. Laurière) was the first constraint programming language, in '''1976''' ! <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/193.54.76.165|193.54.76.165]] ([[User talk:193.54.76.165|talk]]) 17:11, 1 February 2012 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

== Constrained optimization ==

What the different between [[Constrained optimization]] and [[Constraint programming]]? For me, it is the same. [[User:Jumpow|Jumpow]] ([[User talk:Jumpow|talk]]) 23:15, 27 February 2017 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified one external link on [[Constraint programming]]. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=795169041 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:

*Added archive https://web.archive.org/web/20081121170638/http://www.cl-user.net/asp/libs/screamer to http://www.cl-user.net/asp/libs/screamer

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 13:34, 12 August 2017 (UTC)

== Non-negativity constraints ==

A non-negativity constraint may be applied very simply to a parameter whose value is to be determined by means of a change of variable. For example, constraining the value of x to be positive may be achieved by determining the value of a parameter p which is numerically equal to x². See, for example, Non-linear Optimization Techniques, by M.J. Box, D.Davies and W.H.Swan, published by Oliver & Boyd, Edinburgh, 1969, Chapter 5 "Constrained Optimization" for more examples. This is very useful when the parameter concerned is the value of a physical object which, by its nature, must be a positive number. [[User:Petergans|Petergans]] ([[User talk:Petergans|talk]]) 13:58, 25 January 2019 (UTC)

== Should this article include a list of constraint programming languages? ==

This article used to include a list of constraint programming languages (such as [[AIMMS]] and [[Constraint Handling Rules]]), but this list was deleted in [https://en.wikipedia.org/w/index.php?title=Constraint_programming&diff=944545642&oldid=937685444 this revision] by {{u|MrOllie}}.

Should a list of constraint languages be included in this article, or should it be included in another article (such as the main [[list of programming languages by type]])? [[User:Jarble|Jarble]] ([[User talk:Jarble|talk]]) 14:21, 27 September 2021 (UTC)