Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. - Pankaj Chauhan; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 1999)

A Theory of Consistency for Modular Synchronous Systems. - Randal E. Bryant; Pankaj Chauhan; Edmund M. Clarke; Amit Goel (FMCAD, 2000)

Using Combinatorial Optimization Methods for Quantification Scheduling. - Pankaj Chauhan; Edmund M. Clarke; Somesh Jha; James H. Kukula; Helmut Veith; Dong Wang (CHARME, 2001)

Non-linear Quantification Scheduling in Image Computation. - Pankaj Chauhan; Edmund M. Clarke; Somesh Jha; James H. Kukula; Thomas R. Shiple; Helmut Veith; Dong Wang (ICCAD, 2001)

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. - Pankaj Chauhan; Edmund M. Clarke; James H. Kukula; Samir Sapra; Helmut Veith; Dong Wang (FMCAD, 2002)

A SAT-based algorithm for reparameterization in symbolic simulation. - Pankaj Chauhan; Edmund M. Clarke; Daniel Kroening (DAC, 2004)

Non-cycle-accurate sequential equivalence checking. - Pankaj Chauhan; Deepak Goyal; Gagan Hasteer; Anmol Mathur; Nikhil Sharma (DAC, 2009)

A semi-canonical form for sequential AIGs. - Alan Mishchenko; Niklas Eén; Robert K. Brayton; Michael L. Case; Pankaj Chauhan; Nikhil Sharma (DATE, 2013)

Efficient uninterpreted function abstraction and refinement for word-level model checking. - Yen-Sheng Ho; Pankaj Chauhan; Pritam Roy; Alan Mishchenko; Robert K. Brayton (FMCAD, 2016)

High Coverage Concolic Equivalence Checking. - Pritam Roy; Sagar Chaki; Pankaj Chauhan (DATE, 2019)

Bagged support vector machines for emotion recognition from speech. - Anjali Bhavan; Pankaj Chauhan; Hitkul; Rajiv Ratn Shah (Knowl. Based Syst., 2019)