Prof. Dr. Armin Biere
—
abgelegt unter:
Informatik
Zurück zur Auswahl des:der Expert:in
Kontakt
Institut für Informatik (IIF)
Rechnerarchitektur und Betriebssysteme
Georges-Köhler-Allee 51, 79110 Freiburg
Telefon: +49(0) 761 / 203-8141
E-Mail: biere@cs.uni-freiburg.de
Webseite: https://cca.informatik.uni-freiburg.de/biere
Video
Fachgebiete
- Automated Reasoning
- Entscheidungsprozeduren (SMT)
- Entwurfsautomatisierung (EDA)
- Erfüllbarkeitsproblem der Aussagenlogik (SAT)
- Hardware
- Künstliche Intelligenz
- Model Checking
- Technische Informatik
Zurück zur Auswahl des:der Expert:in