M. Maria Dominic

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh
Variable Order Verification Use of Logic Representation. ICADL (2003)
P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh
Improved Variable Ordering for ROBDDs. ICADL (2003)