Conor F. Madigan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2001–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICCAD | Organic electronic device modeling at the nanoscale. | Conor F. Madigan, Vladimir Bulovic |
| 2001 | DAC | Chaff: Engineering an Efficient SAT Solver. | Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik |
| 2001 | ICCAD | Efficient Conflict Driven Learning in Boolean Satisfiability Solver. | Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik |
| 2001 | ICCD | Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. | Ying Zhao, Sharad Malik, Albert R. Wang, Matthew W. Moskewicz, Conor F. Madigan |