Statistics
Publications
1
Citations
194
H-Index
1
Active since
2002
Affiliations
Princeton University(Current)
M.H. Moskewicz is an author at Princeton University specializing in formal verification, data mining, and automated reasoning.
Publications per year
2002–2002
1
1
Efficient conflict driven learning in a Boolean satisfiability solver
Lintao Zhang, C.F. Madigan, M.H. Moskewicz et al. · 2002 · 194 citations
1–1 of 1