SAT-Based Algorithms for Logic Minimization.

Samir Sapra Michael Theobald Edmund M. Clarke

Published in: ICCD (2003)

Keyphrases

learning algorithm
data structure
optimization problems
data sets
significant improvement
data mining techniques
times faster
dynamic programming
theoretical analysis