Pankaj Chauhan

According to our database, Pankaj Chauhan authored at least 11 papers between 1999 and 2019.

Collaborative distances:

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

2019

Bagged support vector machines for emotion recognition from speech.

Anjali Bhavan, Pankaj Chauhan, Hitkul, Rajiv Ratn Shah

Knowl. Based Syst., 2019

High Coverage Concolic Equivalence Checking.

Pritam Roy, Sagar Chaki, Pankaj Chauhan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2016

Efficient uninterpreted function abstraction and refinement for word-level model checking.

Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013

A semi-canonical form for sequential AIGs.

Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma

Proceedings of the Design, Automation and Test in Europe, 2013

2009

Non-cycle-accurate sequential equivalence checking.

Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma

Proceedings of the 46th Design Automation Conference, 2009

2004

A SAT-based algorithm for reparameterization in symbolic simulation.

Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening

Proceedings of the 41th Design Automation Conference, 2004

2002

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

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

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

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.

Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

A Theory of Consistency for Modular Synchronous Systems.

Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.

Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999