Search Results - Moskewicz, M.W.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Chaff: engineering an efficient SAT solver

    Chaff: engineering an efficient SAT solver by Moskewicz, Matthew W., Madigan, Conor F., Zhao, Ying, Zhang, Lintao, Malik, Sharad

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Matching architecture to application via configurable processors: a case study with boolean satisfiability problem

    Matching architecture to application via configurable processors: a case study with boolean satisfiability problem by Ying Zhao, Malik, S., Wang, A., Moskewicz, M.W., Madigan, C.F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures

    Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures by Weber, Scott J., Moskewicz, Matthew W., Gries, Matthias, Sauer, Christian, Keutzer, Kurt

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: