Partitioning SAT Instances for Distributed Solving

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Partitioning SAT instances for distributed solving. In Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, volume 6397 of Lecture Notes in Computer Science, pages 372–386, 2010.

Suggested BibTeX entry:

@inproceedings{HJN:LPAR2010,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR~2010}},
    pages = {372--386},
    series = {Lecture Notes in Computer Science},
    title = {Partitioning {SAT} Instances for Distributed Solving},
    volume = {6397},
    year = {2010},
}