Project Details
Person
Professor Dr. Steffen Hölldobler
Address
Technische Universität Dresden
Institut für Künstliche Intelligenz
Professur für Wissensverarbeitung
Nöthnitzer Straße 46
01187 Dresden
-
As Applicant
-
Completed projects
-
Parallel SAT-Solving (Research Grants)
-
-
Completed projects
- As Participating Researcher
