Deriving Explanations and Implications for Constraint Satisfaction Problems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace. Deriving Explanations and Implications for Constraint Satisfaction Problems. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 585-589, Springer, 2001. [doi]

The following publications are possibly variants of this publication:

Partial Constraint SatisfactionEugene C. Freuder, Richard J. Wallace. ai, 58(1-3):21-70, 1992.

Corrective Explanation for Interactive Constraint SatisfactionBarry O Sullivan, Barry O Callaghan, Eugene C. Freuder. IJCAI 2005: 1531-1532 [doi]

runs on WebDSL