Mandar Waghmode

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Kanupriya Gulati, Mandar Waghmode, Sunil P. Khatri, Weiping Shi
Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction. IET Comput. Digit. Tech. 2 (3) (2008)
Mandar Waghmode, Zhuo Li, Weiping Shi
Buffer insertion in large circuits with constructive solution search techniques. DAC (2006)
Mandar Waghmode, Kanupriya Gulati, Sunil P. Khatri, Weiping Shi
An Efficient, Scalable Hardware Engine for Boolean SATisfiability. ICCD (2006)