Login / Signup
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis.
Masahiro Fujita
Yusuke Matsunaga
Taeko Kakuda
Published in:
EURO-DAC (1991)
Keyphrases
</>
variable ordering
binary decision diagrams
branch and bound algorithm
logic synthesis
max sat
optimal solution
domain specific
inductive learning