A Distribution Method for Solving SAT in Grids

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. A distribution method for solving SAT in grids. In Armin Biere and Carla P. Gomes, editors, SAT 2006, volume 4121 of Lecture Notes in Computer Science, pages 430–435. Springer, 2006.

Suggested BibTeX entry:

@inproceedings{HyvarinenJunttilaNiemela:SAT2006,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {SAT 2006},
    editor = {Armin Biere and Carla P. Gomes},
    pages = {430--435},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {A Distribution Method for Solving {SAT} in Grids},
    volume = {4121},
    year = {2006},
}