Project Details
Professor Dr. Hans Kleine Büning
Address
Universität Paderborn
Institut für Informatik
Fachgebiet Wissensbasierte Systeme
Warburger Straße 100
33098 Paderborn
-
As Applicant
-
Completed projects
-
Minimal unsatisfiable formulas: structure and algorithms (Research Grants)
-
Quantifizierte Boolesche Formeln: Komplexität und Modellierung (Research Grants)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Generierung und Aufbereitung von Konfigurierungswissen mit Hilfe paralleler Techniken (Collaborative Research Centres)
-
Configuration and Evaluation (Collaborative Research Centres)
-
-
Completed projects
- As Participating Person