SAT und Systemaspekte
| Beteiligte Mitarbeiter | Publikationen
|
| Lehrstuhl für Rechnerarchitektur | |
| Tobias Schubert, Dr. | wissenschaftlicher Mitarbeiter |
|
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 |