Generalized support and formal development of constraint propagators

James L. Caldwell, Ian P. Gent, Peter Nightingale. Generalized support and formal development of constraint propagators. AI Commun., 30(5):325-346, 2017. [doi]

Abstract

Abstract is missing.