Maher N. Mneimneh

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