Partitioning SAT Instances for Distributed Solving

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Partitioning SAT instances for distributed solving. In Third International Workshop on Logic and Search, pages 1–16, 2010.

Suggested BibTeX entry:

@inproceedings{HyvarinenJunttilaNiemela:LaSh10,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Third International Workshop on Logic and Search},
    pages = {1--16},
    title = {Partitioning {SAT} Instances for Distributed Solving},
    year = {2010},
}