Type
Fulltext
Results 1-3 of 3 (Search time: 0.001 seconds).
| 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 |