Project Details
Person
Dr. Ralf Wimmer
Address
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg
-
As Applicant
-
Completed projects
-
Solving Dependency Quantified Boolean Formulas (Research Grants)
-
-
Completed projects
