Name | Alexander Konrad |
Adresse | Technische Fakultät Albert-Ludwigs-Universität Georges-Köhler-Allee 51 79110 Freiburg |
Büro | Gebäude 51, Raum 02...031 |
Telefon | +49 (0) 761 203 8088 |
konrada@informatik.uni-freiburg.de |
Alexander Konrad
Jahre: 2021 | 2020
2021

- Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Verifying Dividers Using Symbolic Computer Algebra and Don’t Care Optimization
2021 DATE, IEEE
2020

- Christoph Scholl, Alexander Konrad
Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification
2020 Design Automation Conf., Seiten: 1 - 6