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, Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 2006), volume 4121 of Lecture Notes in Computer Science, pages 430–435. Springer, 2006.

Suggested BibTeX entry:

@inproceedings{HJN:SAT2006,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (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},
}