Deriving Explanations and Implications for Constraint Satisfaction Problems.

Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace

Browse the full CP paper archive.