Heuristic Minimization of BDDs Using Don't Cares.

Thomas R. Shiple Ramin Hojati Alberto L. Sangiovanni-Vincentelli Robert K. Brayton

Published in: DAC (1994)

Keyphrases

objective function
heuristic search
search algorithm
constraint satisfaction
simulated annealing
heuristic solution
dynamic programming
heuristic function
neural network
information retrieval
optimal solution
association rules
image restoration
solution quality
beam search
depth first search