| 2006 |
|---|
| 5 | EE | Conor F. Madigan,
Vladimir Bulovic:
Organic electronic device modeling at the nanoscale.
ICCAD 2006: 832-833 |
| 2001 |
|---|
| 4 | EE | Matthew W. Moskewicz,
Conor F. Madigan,
Ying Zhao,
Lintao Zhang,
Sharad Malik:
Chaff: Engineering an Efficient SAT Solver.
DAC 2001: 530-535 |
| 3 | EE | Lintao Zhang,
Conor F. Madigan,
Matthew W. Moskewicz,
Sharad Malik:
Efficient Conflict Driven Learning in Boolean Satisfiability Solver.
ICCAD 2001: 279-285 |
| 2 | | Ying Zhao,
Sharad Malik,
Albert Wang,
Matthew W. Moskewicz,
Conor F. Madigan:
Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem.
ICCD 2001: 447-452 |
| 1 | | Ying Zhao,
Sharad Malik,
Matthew W. Moskewicz,
Conor F. Madigan:
Accelerating boolean satisfiability through application specific processing.
ISSS 2001: 244-249 |
