Martin Mann Guido Tack Sebastian Will Decomposition During Search for Propagation-Based Constraint Solvers http://arxiv.org/abs/0712.2389 2007 CoRR abs/0712.2389 db/journals/corr/corr0712.html#abs-0712-2389 informal publication