TY - RPRT TI - Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains AU - Krzysztof R. Apt AU - Eric Monfroy PY - 1999 UR - https://arxiv.org/abs/cs/9909010 ID - cs/9909010 ER -