Lazy Explanations for Constraint Propagators

Ian P. Gent, Ian Miguel, Neil C. A. Moore. Lazy Explanations for Constraint Propagators. In Manuel Carro, Ricardo Peña, editors, Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Volume 5937 of Lecture Notes in Computer Science, pages 217-233, Springer, 2010. [doi]

Abstract

Abstract is missing.