Skip to Main content Skip to Navigation
Book sections

Constraint Reasoning

Christian Bessière 1
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Document type :
Book sections
Complete list of metadata

Cited literature [120 references]  Display  Hide  Download

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

File

afia-book20.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

84

Files downloads

88