Content deleted Content added
m Signing comment by 193.54.76.165 - "" |
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computing}}. Tag: |
||
| (13 intermediate revisions by 9 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 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? ==
Line 34 ⟶ 49:
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<sup>2</sup>. 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)
| |||