Abstract : In this chapter, I briefly present constraint reasoning. Constraint reasoning has been a subfield of artificial intelligence (AI) that is nowadays more well-known as constraint programming (CP). The change of name occurred more or less when CP has started to be widely used for solving combinatorial problems in industrial applications. This also corresponds to the moment where CP was enriched by the contributions from logic programming for the aspects related to languages and from operation research for the propagation of complex constraints. Considering the topic of this book, I will stay on a AI-oriented presentation of CP.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02995451
Contributor : Isabelle Gouat <>
Submitted on : Monday, November 9, 2020 - 10:44:17 AM Last modification on : Monday, January 11, 2021 - 5:24:17 PM Long-term archiving on: : Wednesday, February 10, 2021 - 6:36:23 PM
Christian Bessière. Constraint Reasoning. Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, Cham, pp.153-183, 2020, 978-3-030-06166-1. ⟨10.1007/978-3-030-06167-8_6⟩. ⟨lirmm-02995451⟩