@inproceedings{
    HyvarinenJunttilaNiemela:LaSh10,
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    title = "Partitioning {SAT} Instances for Distributed Solving",
    booktitle = "Third International Workshop on Logic and Search",
    corerank = "NC",
    responsibleauthor = {Hyv{\"a}rinen, Antti},
    flags = "MCM public HIIT",
    year = "2010",
    unitcode = "T3060=99,U9014=1",
    impactfactor = "A4",
    pages = "1--16"
}