Treffer 1 - 3 von 3 für Suche 'Moskewicz, M.W.', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    Chaff: engineering an efficient SAT solver

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


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert 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 von Ying Zhao, Malik, S., Wang, A., Moskewicz, M.W., Madigan, C.F.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert 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 von Weber, Scott J., Moskewicz, Matthew W., Gries, Matthias, Sauer, Christian, Keutzer, Kurt

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: