2003 | ||
---|---|---|
2 | EE | Samir Sapra, Michael Theobald, Edmund M. Clarke: SAT-Based Algorithms for Logic Minimization. ICCD 2003: 510- |
2002 | ||
1 | 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 |
1 | Pankaj Chauhan | [1] |
2 | Edmund M. Clarke | [1] [2] |
3 | James H. Kukula | [1] |
4 | Michael Theobald | [2] |
5 | Helmut Veith | [1] |
6 | Dong Wang | [1] |