Skip to Main content Skip to Navigation
New interface
Conference papers

Correctness of Constraint Retraction Algorithms

Romuald Debruyne 1 Gérard Ferrand 2 Narendra Jussien 3 Willy Lesaint 2 Samir Ouis 1 Alexandre Tessier 2 
3 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we present a general scheme for incremental constraint retraction algorithms that encompasses all existing algorithms. Moreover, we introduce some necessary conditions to ensure the correctness of any incremental constraint retraction algorithms. This rather theoretical work is based on the notion of explanation for constraint programming and is exemplified within the PALM system: a constraint solver allowing dynamic constraint retractions.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Willy Lesaint Connect in order to contact the contributor
Submitted on : Thursday, September 2, 2010 - 3:59:00 PM
Last modification on : Saturday, June 25, 2022 - 10:10:48 AM
Long-term archiving on: : Friday, December 3, 2010 - 2:22:58 AM


Files produced by the author(s)


  • HAL Id : hal-00085555, version 1


Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, et al.. Correctness of Constraint Retraction Algorithms. FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. pp.172-176. ⟨hal-00085555⟩



Record views


Files downloads