TY  - RPRT
TI  - Decomposition During Search for Propagation-Based Constraint Solvers
AU  - Martin Mann
AU  - Guido Tack
AU  - Sebastian Will
PY  - 2008
UR  - https://arxiv.org/abs/0712.2389
ID  - 0712.2389
ER  -