Deriving Explanations and Implications for Constraint Satisfaction Problems.

Eugene C. Freuder Chavalit Likitvivatanavong Richard J. Wallace Deriving Explanations and Implications for Constraint Satisfaction Problems. 585-589 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390585.htm db/conf/cp/cp2001.html#FreuderLW01