@inproceedings{b94d90c5823a4029b8cf0a11636f0ed5,
title = "Grid-Based SAT Solving with Iterative Partitioning and Clause Learning",
author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",
note = "VK: mcm hiit",
year = "2011",
doi = "10.1007/978-3-642-23786-7_30",
language = "English",
isbn = "978-3-642-23785-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "385--399",
booktitle = "17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011",
address = "Germany",
}