Path directed abstraction and refinement in SAT-based design debugging.

Brian Keng Andreas G. Veneris

Published in: DAC (2012)

Keyphrases

data sets
neural network
learning algorithm
high level
support vector
design process
ai planning