Iterative Abstraction using SAT-based BMC with Proof Analysis.

Aarti Gupta Malay K. Ganai Zijiang Yang Pranav Ashar

Published in: ICCAD (2003)

Keyphrases

data analysis
artificial intelligence
image analysis
evolutionary algorithm
quantitative analysis
neural network
real world
search engine
information systems
database systems
data structure
statistical analysis