@misc{indiciae58e7102d917f,
  title = {Distributed solving through model splitting},
  author = {Lars Kotthoff and Neil C. A. Moore},
  year = {2010},
  url = {https://arxiv.org/abs/1008.4328},
  note = {Source identifier: 1008.4328}
}