@misc{indiciae9279adf5b66f,
  title = {Decomposition During Search for Propagation-Based Constraint Solvers},
  author = {Martin Mann and Guido Tack and Sebastian Will},
  year = {2008},
  url = {https://arxiv.org/abs/0712.2389},
  note = {Source identifier: 0712.2389}
}