Concepedia

C.F. Madigan

CM

Statistics

Publications

2

Citations

469

H-Index

2

Active since

2002

Affiliations

Princeton University(Current)

University of California, Berkeley

C.F. Madigan is an author at Princeton University specializing in formal verification, formal methods, and satisfiability.

Top concepts

Publications per year

2002–2002

2

Publications

2

Chaff: engineering an efficient SAT solver

M.W. Moskewicz, C.F. Madigan, Youpeng Zhao et al. · Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) · 2002 · 275 citations

, , +17

Efficient conflict driven learning in a Boolean satisfiability solver

Lintao Zhang, C.F. Madigan, M.H. Moskewicz et al. · 2002 · 194 citations

, , +17

1–2 of 2