@inproceedings{kotthoff10split,
    author = {Lars Kotthof\/f and Neil C.A. Moore},
    title = {Distributed solving through model splitting},
    booktitle = {3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS)},
    year      = {2010},
    pages = {26--34}
}