@inproceedings{
    HyvarinenJunttilaNiemela:AISC2008,
    editor = "Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek",
    author = {Hyv\"arinen, Antti E. J. and Junttila, Tommi and Niemel\"a, Ilkka},
    publisher = "Springer",
    optmonth = "July 28 -- August 1",
    title = "Strategies for Solving {SAT} in Grids by Randomized Search",
    series = "Lecture Notes in Computer Science",
    booktitle = "Intelligent Computer Mathematics (AISC/Calculemus/MKM 2008)",
    optaddress = "Birmingham, UK",
    volume = "5144",
    optbooktitle = "Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008",
    flags = "copy DC",
    year = "2008",
    pages = "125--140"
}