ask others

Maher N. Mneimneh

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

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

2011
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/caee/KabalanEAM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/caee/KabalanEAM11
Karim Y. Kabalan, Ali El-Hajj, Mohammed Al-Husseini, Maher N. Mneimneh:
A spreadsheet tool for antenna design. Comp. Applic. in Engineering Education 19(2): 209-215 (2011)

2000 – 2009

see FAQ

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

2009
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/constraints/LiffitonMLAMS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/constraints/LiffitonMLAMS09
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 via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/dt/MneimnehS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dt/MneimnehS05
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
  dblp key:
  - conf/sat/MneimnehLASS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MneimnehLASS05
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 @ ieeecomputersociety.org
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/aspdac/MneimnehSM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aspdac/MneimnehSM04
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
  dblp key:
  - conf/dac/OhMASM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/OhMASM04
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
  dblp key:
  - conf/aspdac/MneimnehS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aspdac/MneimnehS03
Maher N. Mneimneh, Karem A. Sakallah:
SAT-based sequential depth computation. ASP-DAC 2003: 87-92
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/MneimnehS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/MneimnehS03
Maher N. Mneimneh, Karem A. Sakallah:
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. SAT 2003: 411-425
2002
[c3]
- view
- export record
  dblp key:
  - conf/date/AloulMS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/AloulMS02
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
  dblp key:
  - conf/iwls/AloulMS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iwls/AloulMS02
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
  dblp key:
  - conf/dac/MneimnehAWCSA01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/MneimnehAWCSA01
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
  dblp key:
  - journals/simulation/El-HajjKMK00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/simulation/El-HajjKMK00
Ali El-Hajj, Karim Y. Kabalan, Maher N. Mneimneh, Feras Karablieh:
Microprocessor Simulation and Program Assembling Using Spreadsheets. Simulation 75(2): 82-90 (2000)

Coauthor Index

see FAQ

maintained by

at