Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

SAT und Systemaspekte

| Beteiligte Mitarbeiter | Publikationen |


Beteiligte Mitarbeiter

Lehrstuhl für Rechnerarchitektur
Tobias Schubert, Dr. wissenschaftlicher Mitarbeiter


Publikationen
Tobias Schubert, Dr., Bernd Becker, Prof. Dr.
PICHAFF2 - A Hierarchical Parallel SAT Solver
5th International Workshop on Microprocessor Test and Verification, 2004
Tobias Schubert, Dr., Bernd Becker, Prof. Dr.
Knowledge Sharing in a Microntroller based Parallel SAT Solver
"International Conference on Parallel and Distributed Processing Techniques and Applications", 2005