Deriving Explanations and Implications for Constraint Satisfaction Problems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.