Detailseite
Person
Professor Dr. Wolfgang Küchlin
Adresse
Eberhard Karls Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Arbeitsbereich Symbolisches Rechnen
Sand 14
72076 Tübingen
-
Als Beteiligte Person
-
abgeschlossene Projekte
-
Parallele Verfahren und Systeme für das SAT-Solving (Sachbeihilfen)
-
Strukturbasiertes Algorithm Engineering für SAT-Solving (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
