Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization.

Petr Mikusek Václav Dvorák

Published in: DSD (2009)

Keyphrases

cost minimization
heuristic search
bidirectional search
dynamic programming
optimal solution
search algorithm
simulated annealing
state space
tabu search
combinatorial optimization
data sets
query processing
np hard
heuristic solution
program synthesis