Statistics
Publications
7
Citations
250
H-Index
7
Active since
2001
Affiliations
University of Michigan(Current)
Maher Mneimneh is an author at University of Michigan specializing in computer science, algorithms, and computing.
Publications per year
2001–2008
7
7
Yoonna Oh, Maher Mneimneh, Zaher S. Andraus et al. · 2004 · 100 citations
SAT-based sequential depth computation
Maher Mneimneh, Karem A. Sakallah · 2003 · 29 citations
ZBDD-Based Backtrack Search SAT Solver.
Fadi Aloul, Maher Mneimneh, Karem A. Sakallah · 2002 · 28 citations
1–5 of 7