C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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