Skip to Main content Skip to Navigation
Conference papers

Improving GAC-4 for Table and MDD Constraints

Guillaume Perez 1, * Jean-Charles Régin 1
* Corresponding author
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Abstract : We introduce GAC-4R, MDD-4, and MDD-4R three new algorithms for maintaining arc consistency for table and MDD constraints. GAC-4R improves the well-known GAC-4 algorithm by managing the internal data structures in a different way. Instead of maintaining the internal data structures only by studying the consequences of deletions, we propose to reset the data structures by recomputing them from scratch whenever it saves time. This idea avoids the major drawback of the GAC-4 algorithm, i.e., its cost at a shallow search-tree depth. We also show that this idea can be exploited in MDD constraints. Experiments show that GAC-4R is competitive with the best arc-consistency algorithms for table constraints, and that MDD-4R clearly outperforms all classical algorithms for table or MDD constraints.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Jean-Charles Regin <>
Submitted on : Monday, July 11, 2016 - 12:28:27 PM
Last modification on : Wednesday, October 14, 2020 - 4:23:30 AM
Long-term archiving on: : Wednesday, October 12, 2016 - 12:17:33 PM


Files produced by the author(s)




Guillaume Perez, Jean-Charles Régin. Improving GAC-4 for Table and MDD Constraints. CP 2014, Sep 2014, Lyon, France. ⟨10.1007/978-3-319-10428-7_44⟩. ⟨hal-01344079⟩



Record views


Files downloads