M. Maria Dominic

According to our database, M. Maria Dominic authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2003

Variable Order Verification Use of Logic Representation.

P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh

Proceedings of the Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 2003

Improved Variable Ordering for ROBDDs.

P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh

Proceedings of the Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 2003