![](/img/cover-not-exists.png)
Partitioning Methods for Satisfiability Testing on Large Formulas
Tai Joon Park, Allen Van GelderVolume:
162
Year:
2000
Language:
english
Pages:
6
DOI:
10.1006/inco.1999.2860
File:
PDF, 120 KB
english, 2000