Genetic algorithm based variable ordering of BDDs for multi-level logic optimization with area-power trade-offs.

Saurabh Chaudhury Anirban Dutta

Published in: ICECS (2010)

Keyphrases

variable ordering
binary decision diagrams
trade off
boolean functions
conflict directed
branch and bound algorithm
optimization problems
model checking
planning problems
heuristic search
special case
upper bound
domain specific