SAT und Systemaspekte
| project staff | publications
|
| Chair of Computer Architecture | |
| Tobias Schubert, Dr. | research assistant |
|
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 |