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 |
Jahre: 2020
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