Materialien
Vorlesungsmaterial
Heuristiken zur Lösung von SAT- und QSAT-Problemen - Wintersemester 04/05
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Betreuer | Stefan Disch, Lehrstuhl für Betriebssysteme |
|
|
|
|
|
|
|
Materialien
Vorlesungsmaterial
Heuristiken zur Lösung von SAT- und QSAT-Problemen - Wintersemester 04/05Veranstalter
|