Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).

Paolo Marin Christian Miller Bernd Becker

Published in: SAT (2012)

Keyphrases

preprocessing
design process
database
artificial intelligence
website
feature extraction
databases
real world
data mining
information retrieval