Improved Variable Ordering for ROBDDs. - P. W. Chandana Prasad; M. Maria Dominic; Ashutosh Kumar Singh 001 (ICADL, 2003)

Variable Order Verification Use of Logic Representation. - P. W. Chandana Prasad; M. Maria Dominic; Ashutosh Kumar Singh 001 (ICADL, 2003)