Buffer insertion in large circuits with constructive solution search techniques. - Mandar Waghmode; Zhuo Li 001; Weiping Shi (DAC, 2006)

An Efficient, Scalable Hardware Engine for Boolean SATisfiability. - Mandar Waghmode; Kanupriya Gulati; Sunil P. Khatri; Weiping Shi (ICCD, 2006)

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)