Search Results - Mneimneh, M.N.

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    AMUSE: a minimally-unsatisfiable subformula extractor

    AMUSE: a minimally-unsatisfiable subformula extractor by Oh, Yoonna, Mneimneh, Maher N., Andraus, Zaher S., Sakallah, Karem A., Markov, Igor L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Principles of sequential-equivalence verification

    Principles of sequential-equivalence verification by Mneimneh, M.N., Sakallah, K.A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Search-based SAT using zero-suppressed BDDs

    Search-based SAT using zero-suppressed BDDs by Aloul, F.A., Mneimneh, M.N., Sakallah, K.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Preserving synchronizing sequences of sequential circuits after retiming

    Preserving synchronizing sequences of sequential circuits after retiming by Mneimneh, M.N., Sakallah, K.A., Moondanos, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Particle Swarm Design Optimization of ALA Rotor SynRM for Traction Applications

    Particle Swarm Design Optimization of ALA Rotor SynRM for Traction Applications by Arkadan, A.A., ElBsat, M.N., Mneimneh, M.A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: