Strategies for Solving SAT in Grids by Randomized Search

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Strategies for solving SAT in Grids by randomized search. In Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation (AISC 2008), volume 5144 of Lecture Notes in Artificial Intelligence, pages 125–140. Springer, 2008.

Suggested BibTeX entry:

@inproceedings{HyvarinenJunttilaNiemela:AISC2008,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation (AISC 2008)},
    pages = {125--140},
    publisher = {Springer},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Strategies for Solving {SAT} in {G}rids by Randomized Search},
    volume = {5144},
    year = {2008},
}