| 2004 |
|---|
| 6 | EE | Pankaj Chauhan,
Edmund M. Clarke,
Daniel Kroening:
A SAT-based algorithm for reparameterization in symbolic simulation.
DAC 2004: 524-529 |
| 2002 |
|---|
| 5 | EE | Pankaj Chauhan,
Edmund M. Clarke,
James H. Kukula,
Samir Sapra,
Helmut Veith,
Dong Wang:
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.
FMCAD 2002: 33-51 |
| 2001 |
|---|
| 4 | EE | Pankaj Chauhan,
Edmund M. Clarke,
Somesh Jha,
James H. Kukula,
Helmut Veith,
Dong Wang:
Using Combinatorial Optimization Methods for Quantification Scheduling.
CHARME 2001: 293-309 |
| 3 | EE | Pankaj Chauhan,
Edmund M. Clarke,
Somesh Jha,
James H. Kukula,
Thomas R. Shiple,
Helmut Veith,
Dong Wang:
Non-linear Quantification Scheduling in Image Computation.
ICCAD 2001: 293- |
| 2000 |
|---|
| 2 | EE | Randal E. Bryant,
Pankaj Chauhan,
Edmund M. Clarke,
Amit Goel:
A Theory of Consistency for Modular Synchronous Systems.
FMCAD 2000: 486-504 |
| 1999 |
|---|
| 1 | EE | Pankaj Chauhan,
Pallab Dasgupta,
P. P. Chakrabarti:
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.
VLSI Design 1999: 324- |
