Lars Kotthoff Neil C. A. Moore Distributed solving through model splitting http://arxiv.org/abs/1008.4328 2010 CoRR abs/1008.4328 db/journals/corr/corr1008.html#abs-1008-4328