Maher N. Mneimneh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2001–2005
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SAT | A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. | Maher N. Mneimneh, Ins Lynce, Zaher S. Andraus, Joo Marques-Silva, Karem A. Sakallah |
| 2004 | ASPDAC | Preserving synchronizing sequences of sequential circuits after retiming. | Maher N. Mneimneh, Karem A. Sakallah, John Moondanos |
| 2004 | DAC | AMUSE: a minimally-unsatisfiable subformula extractor. | Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov |
| 2003 | ASPDAC | SAT-based sequential depth computation. | Maher N. Mneimneh, Karem A. Sakallah |
| 2003 | SAT | Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. | Maher N. Mneimneh, Karem A. Sakallah |
| 2002 | DATE | Search-Based SAT Using Zero-Suppressed BDDs. | Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah |
| 2001 | DAC | Scalable Hybrid Verification of Complex Microprocessors. | Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin |