![]() | ![]() |
| 2003 | ||
|---|---|---|
| 2 | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh: Improved Variable Ordering for ROBDDs. ICADL 2003: 544-547 | |
| 1 | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh: Variable Order Verification Use of Logic Representation. ICADL 2003: 689 | |
| 1 | P. W. Chandana Prasad | [1] [2] |
| 2 | Ashutosh Kumar Singh | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page