Partitioning SAT Instances for Distributed Solving


Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Partitioning SAT instances for distributed solving. In LPAR 2010, volume 6397 of Lecture Notes in Computer Science, pages 372–386. Springer, 2010.

Suggested BibTeX entry:

    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {LPAR 2010},
    pages = {372--386},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Partitioning {SAT} Instances for Distributed Solving},
    volume = {6397},
    year = {2010},

This work is not available online here.