Design of experiments and evaluation of BDD ordering heuristics.

Justin E. Harlow III Franc Brglez

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

genetic algorithm