Maher N. Mneimneh

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Karim Y. Kabalan, Ali El-Hajj, Mohammed Al-Husseini, Maher N. Mneimneh
A spreadsheet tool for antenna design. Comput. Appl. Eng. Educ. 19 (2) (2011)
Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Constraints An Int. J. 14 (4) (2009)
Maher N. Mneimneh, Karem A. Sakallah
Principles of Sequential-Equivalence Verification. IEEE Des. Test Comput. 22 (3) (2005)
Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João P. Marques Silva, Karem A. Sakallah
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. SAT (2005)
Maher N. Mneimneh, Karem A. Sakallah, John Moondanos
Preserving synchronizing sequences of sequential circuits after retiming. ASP-DAC (2004)
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov
AMUSE: a minimally-unsatisfiable subformula extractor. DAC (2004)
Maher N. Mneimneh, Karem A. Sakallah
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. SAT (2003)
Maher N. Mneimneh, Karem A. Sakallah
SAT-based sequential depth computation. ASP-DAC (2003)
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
ZBDD-Based Backtrack Search SAT Solver. IWLS (2002)
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
Search-Based SAT Using Zero-Suppressed BDDs. DATE (2002)
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin
Scalable Hybrid Verification of Complex Microprocessors. DAC (2001)
Ali El-Hajj, Karim Y. Kabalan, Maher N. Mneimneh, Feras Karablieh
Microprocessor Simulation and Program Assembling Using Spreadsheets. Simul. 75 (2) (2000)