Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Maher N. Mneimneh

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/constraints/LiffitonMLAMS09
- ask others
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 14(4): 415-442 (2009)
2005
[j2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dt/MneimnehS05
- ask others
Maher N. Mneimneh, Karem A. Sakallah: Principles of Sequential-Equivalence Verification. IEEE Design & Test of Computers 22(3): 248-257 (2005)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sat/MneimnehLASS05
- ask others
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: 467-474
2004
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aspdac/MneimnehSM04
- ask others
Maher N. Mneimneh, Karem A. Sakallah, John Moondanos: Preserving synchronizing sequences of sequential circuits after retiming. ASP-DAC 2004: 579-584
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/OhMASM04
- ask others
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov: AMUSE: a minimally-unsatisfiable subformula extractor. DAC 2004: 518-523
2003
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aspdac/MneimnehS03
- ask others
Maher N. Mneimneh, Karem A. Sakallah: SAT-based sequential depth computation. ASP-DAC 2003: 87-92
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sat/MneimnehS03
- ask others
Maher N. Mneimneh, Karem A. Sakallah: Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. SAT 2003: 411-425
2002
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/date/AloulMS02
- ask others
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah: Search-Based SAT Using Zero-Suppressed BDDs. DATE 2002: 1082
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwls/AloulMS02
- ask others
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah: ZBDD-Based Backtrack Search SAT Solver. IWLS 2002: 131-136
2001
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/MneimnehAWCSA01
- ask others
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: 41-46
2000
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/simulation/El-HajjKMK00
- ask others
Ali El-Hajj, Karim Y. Kabalan, Maher N. Mneimneh, Feras Karablieh: Microprocessor Simulation and Program Assembling Using Spreadsheets. Simulation 75(2): 82-90 (2000)