Prof. Dr. Armin Biere
—
filed under:
Informatik
Contact
Department of Computer Science (INF)
Computer Architecture and Operating Systems
Georges-Köhler-Allee 51, 79110 Freiburg
Phone: +49(0) 761 / 203-8141
Email: biere@cs.uni-freiburg.de
Website: https://cca.informatik.uni-freiburg.de/biere
Fields
- Automated Reasoning
- Satisfiability Modulo Theories (SMT)
- Electronic Design Automation
- Boolean satisfiability problem (SAT)
- Hardware
- Artificial intelligence
- Model Checking
- Technical informatics