@inproceedings{HyvarinenJunttilaNiemela:SAT2006,
  author    = {Antti E. J. Hyv{\"a}rinen and
               Tommi Junttila and
               Ilkka Niemel{\"a}},
  title     = {A Distribution Method for Solving {SAT} in Grids},
  booktitle = {SAT 2006},
  editor    = {Armin Biere and
               Carla P. Gomes},
  series    = {Lecture Notes in Computer Science},
  volume    = {4121},
  publisher = {Springer},
  year      = {2006},
  pages     = {430--435},
  url       = {http://dx.doi.org/10.1007/11814948_39},
}