Partitioning SAT Instances for Distributed Solving

Reference:

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:

@inproceedings{HyvarinenJunttilaNiemela:LPAR10,
    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},
}