Computing and restoring global inverse consistency in interactive constraint satisfaction

DOI10.1016/j.artint.2016.09.001zbMath1392.68382MaRDI QIDQ334804

Hélène Fargier, Christian Bessiere, 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

zbMATH Keywords

configuration; constraint satisfaction problems; global inverse consistency

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• STR2