Better generalization in IC3.

Zyad Hassan Aaron R. Bradley Fabio Somenzi

Published in: FMCAD (2013)

Keyphrases

viewpoint
real time
integrated circuit
genetic algorithm
artificial intelligence
image processing
multiscale
multi agent
data analysis
association rules
multiresolution
data model
explanation based generalization