Project Details
Person
Professor Dr. Uwe Schöning
Address
Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Theoretische Informatik
89069 Ulm
-
As Applicant
-
Completed projects
-
Probabilistische Algorithmen und Methoden in der Logik (Research Grants)
-
Derandomisierung von Polynomgleichungen (Research Grants) -
Stochastische Lokale Suche bei SAT-Solvern (Priority Programmes)
-
RNA Structures as Processing Signals and Sensors (Priority Programmes)
-
-
Completed projects
