Conor F. Madigan

According to our database, Conor F. Madigan authored at least 6 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Theory and simulation of amorphous organic electronic devices.

Conor F. Madigan

PhD thesis, 2006

Organic electronic device modeling at the nanoscale.

Conor F. Madigan, Vladimir Bulovic

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2001

Accelerating boolean satisfiability through application specific processing.

Ying Zhao, Sharad Malik, Matthew W. Moskewicz, Conor F. Madigan

Proceedings of the 14th International Symposium on Systems Synthesis, 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

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

Efficient Conflict Driven Learning in Boolean Satisfiability Solver.

Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Chaff: Engineering an Efficient SAT Solver.

Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik

Proceedings of the 38th Design Automation Conference, 2001