@inproceedings{
    HyvarinenJunttilaNiemela:AISC2008,
    editor = "Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek",
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    responsibleauthor = {Antti E. J. Hyv{\"a}rinen},
    title = "Strategies for Solving {SAT} in {G}rids by randomized search",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "AISC 2008",
    volume = "5144",
    flags = "MCM public",
    year = "2008",
    impactfactor = "D3",
    pages = "125-140"
}