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 |