Mandar Waghmode

According to our database, Mandar Waghmode authored at least 3 papers between 2006 and 2008.

Collaborative distances:

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

2008

Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction.

Kanupriya Gulati, Mandar Waghmode, Sunil P. Khatri, Weiping Shi

IET Comput. Digit. Tech., 2008

2006

An Efficient, Scalable Hardware Engine for Boolean SATisfiability.

Mandar Waghmode, Kanupriya Gulati, Sunil P. Khatri, Weiping Shi

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

Buffer insertion in large circuits with constructive solution search techniques.

Mandar Waghmode, Zhuo Li, Weiping Shi

Proceedings of the 43rd Design Automation Conference, 2006