Pankaj Chauhan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2019

Bagged support vector machines for emotion recognition from speechAnjali Bhavan, Pankaj Chauhan, Hitkul, Rajiv Ratn Shah. kbs, 184, 2019. [doi]

High Coverage Concolic Equivalence CheckingPritam Roy, Sagar Chaki, Pankaj Chauhan. date 2019: 462-467 [doi]

2016

Efficient uninterpreted function abstraction and refinement for word-level model checkingYen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton. FMCAD 2016: 65-72 [doi]

2013

A semi-canonical form for sequential AIGsAlan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma. date 2013: 797-802 [doi]

2009

Non-cycle-accurate sequential equivalence checkingPankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma. dac 2009: 460-465 [doi]

2004

A SAT-based algorithm for reparameterization in symbolic simulationPankaj Chauhan, Edmund M. Clarke, Daniel Kroening. dac 2004: 524-529 [doi]

2002

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict AnalysisPankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang. FMCAD 2002: 33-51 [doi]

2001

Using Combinatorial Optimization Methods for Quantification SchedulingPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang. charme 2001: 293-309 [doi]

Non-linear Quantification Scheduling in Image ComputationPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang. iccad 2001: 293 [doi]

2000

A Theory of Consistency for Modular Synchronous SystemsRandal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel. FMCAD 2000: 486-504 [doi]

1999

Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision DiagramsPankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti. vlsid 1999: 324 [doi]

Sign in or sign up to see more results.

runs on WebDSL