Quasi-Exact BDD Minimization Using Relaxed Best-First Search.

Rüdiger Ebendt Rolf Drechsler

Published in: ISVLSI (2005)

Keyphrases

heuristic search
linear space
search algorithm
objective function
boolean functions
binary decision diagrams
neural network
search strategy
evaluation function
optimal solution
search space
search tree
brute force
beam search
heuristic search algorithms
branch and bound search