@inproceedings{
    HyvarinenJunttilaNiemela:CP2011,
    editor = "Lee, Jimmy Ho-Man",
    author = {Hyv{\"a}rinen, Antti Eero Johannes and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    title = "Grid-Based {SAT} Solving with Iterative Partitioning and Clause Learning",
    url = "http://dx.doi.org/10.1007/978-3-642-23786-7_30",
    series = "Lecture Notes in Computer Science",
    booktitle = "Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings",
    volume = "6876",
    flags = "copy",
    year = "2011",
    pages = "385--399"
}