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