Design of experiments in BDD variable ordering: lessons learned.

Justin E. Harlow III Franc Brglez

Published in: ICCAD (1998)

Keyphrases

lessons learned
case study
participatory design
future directions
variable ordering
design science
design decisions
branch and bound algorithm
binary decision diagrams