%0 Thesis %1 schubert2008satalgorithmen %A Schubert, Tobias %D 2008 %K %T SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System

@phdthesis{schubert2008satalgorithmen, added-at = {2023-12-12T20:38:05.000+0100}, author = {Schubert, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/28ade52e380d0f7633f20ad4deb9d3ea7/admin}, dnbtitleid = {989114864}, interhash = {32166d1d6e84483f4b9262de134cc724}, intrahash = {8ade52e380d0f7633f20ad4deb9d3ea7}, keywords = {}, school = {Uni Freiburg}, timestamp = {2023-12-12T20:38:05.000+0100}, title = {SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System}, year = 2008 }