@INPROCEEDINGS{ParkVanGelder96,
AUTHOR          = "Park, Tai Joon and Van Gelder, Allen",
TITLE           = "Partitioning  Methods for Satisfiability Testing
                  on Large Formulas",
BOOKTITLE       = "Proceedings 13th International Conference on
                  Automated Deduction",
PUBLISHER       = "Springer-Verlag",
SERIES          = "LNAI",
VOLUME          = "1104",
PAGES           = "748--762",
MONTH           = "July",
YEAR            = "1996"
		}