@InProceedings{HyvarinenJunttilaNiemela:AIMSA2008,
  author =    {Hyv\"arinen, Antti E. J. and Junttila, Tommi and
               Niemel\"a, Ilkka},
  title =     {Incorporating Learning in Grid-Based Randomized {SAT} Solving},
  booktitle = {Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008)},
  OPTbooktitle = {Artificial Intelligence: Methodology, Systems, and Applications,
13th International Conference, AIMSA 2008, Proceedings},
  pages =     {247--261},
  year =      {2008},
  editor =    {Danail Dochev and Marco Pistore and Paolo Traverso},
  volume =    {5253},
  series =    {Lecture Notes in Artificial Intelligence},
  OPTaddress = 	 {Varna, Bulgaria},
  OPTmonth = 	 {September 4--6},
  publisher = {Springer},
}