TY  - RPRT
TI  - Generalized Support and Formal Development of Constraint Propagators
AU  - James Caldwell
AU  - Ian P. Gent
AU  - Peter Nightingale
PY  - 2016
UR  - https://arxiv.org/abs/1504.05846
ID  - 1504.05846
ER  -