Login / Signup

Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering.

Stelios N. NeophytouMaria K. Michael
Published in: J. Electron. Test. (2018)
Keyphrases
  • variable ordering
  • branch and bound algorithm
  • binary decision diagrams
  • shortest path
  • optimal solution
  • data mining
  • dynamic programming
  • optimal path
  • conflict directed