Lazy Explanations for Constraint Propagators.

Ian P. Gent, Ian Miguel, Neil C. A. Moore

Browse the full PADL paper archive.