Browsing by Author
Showing results 1 to 3 of 3
Preview | Authors / Editors | Title | Type | Issue Date |
---|---|---|---|---|
![]() | Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer | The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus | Inproceedings ![]() ![]() ![]() | 2020 |
![]() | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Super-Blocked Clauses | Inproceedings Konferenzbeitrag ![]() ![]() ![]() | 2016 |
![]() | Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer | Tutorial on World-Level Model Checking | Inproceedings ![]() ![]() ![]() | 2020 |