2003 | ||
---|---|---|
2 | EE | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh: Improved Variable Ordering for ROBDDs. ICADL 2003: 544-547 |
1 | EE | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh: Variable Order Verification Use of Logic Representation. ICADL 2003: 689 |
1 | M. Maria Dominic | [1] [2] |
2 | P. W. Chandana Prasad | [1] [2] |