TY - GEN
T1 - Deriving explanations and implications for constraint satisfaction problems
AU - Freuder, Eugene C.
AU - Likitvivatanavong, Chavalit
AU - Wallace, Richard J.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - We explore the problem of deriving explanations and implications for constraint satisfaction problems (CSPs). We show that consistency methods can be used to generate inferences that support both functions. Explanations take the form of trees that show the basis for assignments and deletions in terms of previous selections. These ideas are illustrated by dynamic, interactive testbeds.
AB - We explore the problem of deriving explanations and implications for constraint satisfaction problems (CSPs). We show that consistency methods can be used to generate inferences that support both functions. Explanations take the form of trees that show the basis for assignments and deletions in terms of previous selections. These ideas are illustrated by dynamic, interactive testbeds.
UR - https://www.scopus.com/pages/publications/58649100370
U2 - 10.1007/3-540-45578-7_44
DO - 10.1007/3-540-45578-7_44
M3 - Conference proceeding
AN - SCOPUS:58649100370
SN - 3540428631
SN - 9783540428633
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 585
EP - 589
BT - Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings
A2 - Walsh, Toby
PB - Springer Verlag
T2 - 7th International Conference on Principles and Practice of Constraint Programming, CP 2001
Y2 - 26 November 2001 through 1 December 2001
ER -