Samir Sapra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2010
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAT | A Non-prenex, Non-clausal QBF Solver with Game-State Learning. | William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke |
| 2009 | CoNEXT | RFDump: an architecture for monitoring the wireless ether. | Kaushik Lakshminarayanan, Samir Sapra, Srinivasan Seshan, Peter Steenkiste |
| 2003 | ICCD | SAT-Based Algorithms for Logic Minimization. | Samir Sapra, Michael Theobald, Edmund M. Clarke |
| 2002 | FMCAD | 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 |