Maher N. Mneimneh, Ph.D.
Affiliations: | 2006 | University of Michigan, Ann Arbor, Ann Arbor, MI |
Area:
Computer ScienceGoogle:
"Maher Mneimneh"Parents
Sign in to add mentor| Karem A. Sakallah | grad student | 2006 | University of Michigan | |
| (Structure-driven algorithms for equivalence verification and infeasibility checking.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Liffiton M, Mneimneh M, Lynce I, et al. (2009) A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas Constraints - An International Journal. 14: 415-442 |
| Mneimneh MN, Sakallah KA. (2005) Principles of sequential-equivalence verification Ieee Design and Test of Computers. 22: 248-257 |
| Mneimneh MN, Sakallah KA, Moondanos J. (2004) Preserving synchronizing sequences of sequential circuits after retiming Proceedings of the Asia and South Pacific Design Automation Conference, Asp-Dac. 579-584 |
| Oh Y, Mneimneh MN, Andraus ZS, et al. (2004) AMUSE: A minimally-unsatisfiable subformula extractor Proceedings - Design Automation Conference. 518-523 |
| Aloul FA, Mneimneh MN, Sakallah KA. (2002) Search-based SAT using zero-suppressed BDDs Proceedings -Design, Automation and Test in Europe, Date. 1082 |