SudokuSAT(WS2018)

Aus International Center for Computational Logic

Version vom 3. Dezember 2018, 16:22 Uhr von Emma Dietz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=SudokuSAT |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler |Tutors=Emmanuelle Dietz; Johannes Fichte; Marcos Cramer; |Term…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

{{Vorlesung |Title=SudokuSAT |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler |Tutors=Emmanuelle Dietz; Johannes Fichte; Marcos Cramer; |Term=WS |Year=2018 |Module=INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur |Description=

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=SudokuSAT(WS2018)&oldid=27224“