About the choice of the variable to unassign in a decision repair algorithm
Cédric Pralet, Gérard Verfaillie (2010)
RAIRO - Operations Research
Similarity:
The algorithm (Jussien and Lhomme, (2002) 21–45), which has been designed to solve (CSP), can be seen, either (i) as an extension of the classical algorithm with the introduction of a free choice of the variable to which to backtrack in case of inconsistency, or (ii) as a algorithm in the space of the partial consistent variable assignments. or (iii) as a hybridisation between and . Experiments reported in Pralet and Verfailllie (2004) show that some heuristics...