Detailseite
Person
Professor Dr. Uwe Schöning
Adresse
Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Theoretische Informatik
89069 Ulm
-
Als Antragsteller
-
abgeschlossene Projekte
-
Probabilistische Algorithmen und Methoden in der Logik (Sachbeihilfen)
-
Derandomisierung von Polynomgleichungen (Sachbeihilfen) -
Stochastische Lokale Suche bei SAT-Solvern (Schwerpunktprogramme)
-
RNA Strukturen als Prozessierungssignale und Sensoren (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
