"Lazy Explanations for Constraint Propagators."

Ian P. Gent, Ian Miguel, Neil C. A. Moore (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics