@inproceedings{
    HJN:LPAR2010,
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    responsibleauthor = {Hyv{\"a}rinen, Antti},
    title = "Partitioning {SAT} Instances for Distributed Solving",
    url = "http://dx.doi.org/10.1007/978-3-642-16242-8_27",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR~2010}",
    corerank = "A",
    volume = "6397",
    flags = "MCM copy",
    year = "2010",
    impactfactor = "A4",
    pages = "372--386"
}