Conor F. Madigan

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Conor F. Madigan, Vladimir Bulovic
Organic electronic device modeling at the nanoscale. ICCAD (2006)
Ying Zhao, Sharad Malik, Matthew W. Moskewicz, Conor F. Madigan
Accelerating boolean satisfiability through application specific processing. ISSS (2001)
Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik
Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD (2001)
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
Chaff: Engineering an Efficient SAT Solver. DAC (2001)
Ying Zhao, Sharad Malik, Albert R. Wang, Matthew W. Moskewicz, Conor F. Madigan
Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. ICCD (2001)