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
