Editing Constraint satisfaction problem (section)

==Further reading==
*[https://www.youtube.com/watch?v=wrs6Lvo5LZM A quick introduction to constraint satisfaction on YouTube]
*Manuel Bodirsky (2021). ''Complexity of Infinite-Domain Constraint Satisfaction''. Cambridge University Press. https://doi.org/10.1017/9781107337534
*{{cite journal|author1=Steven Minton|author2=Andy Philips|author3=Mark D. Johnston|author4=Philip Laird|title=Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems|journal=Journal of Artificial Intelligence Research|year=1993|volume=58|issue=1–3|pages=161&ndash;205|doi=10.1016/0004-3702(92)90007-k|citeseerx=10.1.1.308.6637|s2cid=14830518 }}
*{{cite book
| first=Edward
| last=Tsang
| title=Foundations of Constraint Satisfaction
| year=1993
| publisher=Academic Press
| url=http://www.bracil.net/edward/FCS.html
}} {{isbn|0-12-701610-4}}
*{{Cite journal | last1 = Chen | first1 = Hubie | date=December 2009 | title = A Rendezvous of Logic, Complexity, and Algebra | journal = ACM Computing Surveys | volume = 42 | issue = 1 | pages = 1–32 |arxiv=cs/0611018 | doi=10.1145/1592451.1592453| s2cid = 11975818 }}
*{{cite book
| first=Rina
| last=Dechter
| title=Constraint processing
| publisher=Morgan Kaufmann
| year=2003
| url=http://www.ics.uci.edu/~dechter/books/index.html
}} {{isbn|1-55860-890-7}}
*{{cite book
| first=Krzysztof
| last=Apt
| author-link=Krzysztof R. Apt
| title=Principles of constraint programming
| url=https://archive.org/details/principlesofcons0000aptk
| url-access=registration
| publisher=Cambridge University Press
| year=2003
| isbn=9780521825832
}} {{isbn|0-521-82583-0}}
*{{cite book
| first=Christophe
| last=Lecoutre
| title=Constraint Networks: Techniques and Algorithms
| publisher=ISTE/Wiley
| year=2009
| url=http://www.iste.co.uk/index.php?f=a&ACTION=View&id=250
}} {{isbn|978-1-84821-106-3}}
*Tomás Feder, [http://theory.stanford.edu/~tomas/consmod.pdf  ''Constraint satisfaction: a personal perspective''], manuscript.
*[https://web.archive.org/web/20060213071549/http://4c.ucc.ie/web/archive/index.jsp Constraints archive]
*[http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm Forced Satisfiable CSP Benchmarks of Model RB] {{Webarchive|url=https://web.archive.org/web/20210125071920/http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm |date=2021-01-25 }}
*[https://web.archive.org/web/20060813201559/http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/benchmarks.html Benchmarks – XML representation of CSP instances]
*[http://xcsp.org XCSP3 – An XML-based format designed to represent CSP instances]
*[https://web.archive.org/web/20090419182234/http://www.ps.uni-sb.de/Papers/abstracts/tackDiss.html Constraint Propagation] – Dissertation by Guido Tack giving a good survey of theory and implementation issues

{{Industrial and applied mathematics}}
{{DEFAULTSORT:Constraint Satisfaction Problem}}
[[Category:Constraint programming]]
[[Category:NP-complete problems]]