Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

@inproceedings{Hyvrinen2011GridBasedSS,
  title={Grid-Based SAT Solving with Iterative Partitioning and Clause Learning},
  author={Antti Eero Johannes Hyv{\"a}rinen and Tommi A. Junttila and Ilkka Niemel{\"a}},
  booktitle={CP},
  year={2011}
}
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…