SAT-Based Verification Methods and Applications in Hardware Verification.

Aarti Gupta Malay K. Ganai Chao Wang

Published in: SFM (2006)

Keyphrases

machine learning methods
low cost
preprocessing
significant improvement
benchmark datasets
qualitative and quantitative
real time
data mining
computational cost
empirical studies
sat solvers