Materialien
Vorlesungsmaterial
Heuristiken zur Lösung von SAT- und QSAT-Problemen - Wintersemester 04/05
Zeit / Ort
| Vorlesung | Achtung! Neuer Termin: Vorbesprechung am Mittwoch, 27.10.2004 in Geb. 051 Raum 01-031 um 16:15 Uhr. Seminar: 21.02. - 23.02.2005, Uni-Haus, Schauinsland |