@inproceedings{
    HJN:SAT2006,
    editor = "Biere, Armin and Gomes, Carla P.",
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    title = "A Distribution Method for Solving {SAT} in Grids",
    url = "http://dx.doi.org/10.1007/11814948_39",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)",
    volume = "4121",
    flags = "ACPT,copy",
    year = "2006",
    pages = "430--435"
}