Login / Signup

Improved Variable Ordering for ROBDDs.

P. W. Chandana PrasadM. Maria DominicAshutosh Kumar Singh
Published in: ICADL (2003)
Keyphrases
  • variable ordering
  • binary decision diagrams
  • conflict directed
  • branch and bound algorithm
  • lower bound
  • boolean functions
  • max sat