Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

A. Hyvärinen,Tommi A. Junttila,I. Niemelä
DOI: https://doi.org/10.1007/978-3-642-23786-7_30
2011-09-12
Abstract:
What problem does this paper attempt to address?