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 Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk, editors, 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 = {AISC 2008},
    editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
    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},
}

This work is not available online here.