Project Details
Person
Professor Dr. Wolfgang Küchlin
Address
Eberhard Karls Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Arbeitsbereich Symbolisches Rechnen
Sand 14
72076 Tübingen
-
As Participating Person
-
Completed projects
-
Parallele Verfahren und Systeme für das SAT-Solving (Research Grants)
-
Structure-based Algorithm Engineering for SAT-Solving (Priority Programmes)
-
-
Completed projects
