Chaff: Engineering an Efficient SAT Solver. - Matthew W. Moskewicz; Conor F. Madigan; Ying Zhao; Lintao Zhang; Sharad Malik (DAC, 2001)

Efficient Conflict Driven Learning in Boolean Satisfiability Solver. - Lintao Zhang; Conor F. Madigan; Matthew W. Moskewicz; Sharad Malik (ICCAD, 2001)

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 (ICCD, 2001)

Accelerating boolean satisfiability through application specific processing. - Ying Zhao; Sharad Malik; Matthew W. Moskewicz; Conor F. Madigan (ISSS, 2001)

Organic electronic device modeling at the nanoscale. - Conor F. Madigan; Vladimir Bulovic (ICCAD, 2006)

Theory and simulation of amorphous organic electronic devices. - Conor F. Madigan (2006)