Project Details
Professor Dr. Jacobo Torán
Address
Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Theoretische Informatik
James-Franck-Ring
89081 Ulm
-
As Applicant
-
Current projects
-
Complexity measures for solving propositional formulas. (Research Grants)
-
-
Completed projects
-
Untersuchung der Komplexität des Graphenisomorphieproblems (Research Grants)
-
-
Current projects
-
As Participating Person
-
Completed projects
-
Probabilistische Algorithmen und Methoden in der Logik (Research Grants)
-
-
Completed projects