Computing and restoring global inverse consistency in interactive constraint satisfaction
DOI10.1016/J.ARTINT.2016.09.001zbMATH Open1392.68382OpenAlexW2519295952MaRDI QIDQ334804FDOQ334804
Authors: Christian Bessiere, Hélène Fargier, Christophe Lecoutre 
Publication date: 1 November 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.09.001
Recommendations
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
- Constraints, consistency and closure
- Generating Corrective Explanations for Interactive Constraint Satisfaction
- The complexity of reasoning with global constraints
- Compiling CSPs into tree-driven automata for interactive solving
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25)
Cites Work
- From local to global consistency
- Partition search for non-binary constraint satisfaction
- Domain filtering consistencies
- STR2: optimized simple tabular reduction for table constraints
- Networks of constraints: Fundamental properties and applications to picture processing
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
- On forward checking for non-binary constraint satisfaction.
- STR3: a path-optimal filtering algorithm for table constraints
- On minimal constraint networks
- A sufficient condition for backtrack-bounded search
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
- Super-reparametrizations of weighted CSPs: properties and optimization perspective
- Generating Corrective Explanations for Interactive Constraint Satisfaction
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
- Compiling CSPs into tree-driven automata for interactive solving
Uses Software
This page was built for publication: Computing and restoring global inverse consistency in interactive constraint satisfaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334804)
