@inproceedings{
    HyvarinenJunttilaNiemela:CP2011,
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    responsibleauthor = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    title = "Grid-Based {SAT} Solving with Iterative Partitioning and Clause Learning",
    series = "Lecture Notes in Computer Science",
    booktitle = "CP 2011",
    corerank = "A",
    volume = "6876",
    flags = "MCM public HIIT copy",
    year = "2011",
    unitcode = "T3060=99,U9014=1",
    impactfactor = "A4",
    pages = "385--399"
}