Biere, Armin
Full name Familienname, Vorname
Biere, Armin
Main Affiliation Organisationszuordnung
Date issued
Fulltext
Results 1-3 of 3 (Search time: 0.003 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer | Tutorial on World-Level Model Checking | Inproceedings | 2020 |
2 | ![]() | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Super-Blocked Clauses | Inproceedings Konferenzbeitrag | 2016 |
3 | ![]() | Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer | The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus | Inproceedings | 2020 |