Maher N. Mneimneh

According to our database, Maher N. Mneimneh authored at least 13 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A spreadsheet tool for antenna design.

Karim Y. Kabalan, Ali El-Hajj, Mohammed Al-Husseini, Maher N. Mneimneh

Comput. Appl. Eng. Educ., 2011

2009

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.

Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah

Constraints An Int. J., 2009

2006

Structure-driven algorithms for equivalence verification and infeasibility checking.

Maher N. Mneimneh

PhD thesis, 2006

2005

Principles of Sequential-Equivalence Verification.

Maher N. Mneimneh, Karem A. Sakallah

IEEE Des. Test Comput., 2005

A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas.

Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004

AMUSE: a minimally-unsatisfiable subformula extractor.

Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov

Proceedings of the 41th Design Automation Conference, 2004

Preserving synchronizing sequences of sequential circuits after retiming.

Maher N. Mneimneh, Karem A. Sakallah, John Moondanos

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution.

Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

SAT-based sequential depth computation.

Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

ZBDD-Based Backtrack Search SAT Solver.

Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Search-Based SAT Using Zero-Suppressed BDDs.

Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the 2002 Design, 2002

2001

Scalable Hybrid Verification of Complex Microprocessors.

Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin

Proceedings of the 38th Design Automation Conference, 2001

2000

Microprocessor Simulation and Program Assembling Using Spreadsheets.

Ali El-Hajj, Karim Y. Kabalan, Maher N. Mneimneh, Feras Karablieh

Simul., 2000