Login / Signup

Efficient variable ordering using aBDD based sampling.

Yuan LuJawahar JainEdmund M. ClarkeMasahiro Fujita
Published in: DAC (2000)
Keyphrases
  • variable ordering
  • genetic algorithm