Partitioning Methods for Satisfiability Testing on Large Formulas.

Tai Joon Park Allen Van Gelder

Published in: Inf. Comput. (2000)

Keyphrases

significant improvement
data sets
preprocessing
benchmark datasets
machine learning methods
search engine
database
neural network
data mining
computer vision
image processing
multiscale
artificial neural networks
empirical studies
computationally expensive