Tai Joon Park, Allen Van Gelder. Partitioning Methods for Satisfiability Testing on Large Formulas. Inf. Comput., 162(1-2):179-184, 2000.
@article{ParkG00, title = {Partitioning Methods for Satisfiability Testing on Large Formulas}, author = {Tai Joon Park and Allen Van Gelder}, year = {2000}, tags = {testing, partitioning}, researchr = {https://researchr.org/publication/ParkG00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {162}, number = {1-2}, pages = {179-184}, }