Items where Author is "Singh, , AK"
Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Improved variable ordering for ROBDDs. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . pp. 544-547. ISSN 0302-9743
Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Variable order verification use of logic representation. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . p. 689. ISSN 0302-9743