Browsing by Author

Showing results 1 to 3 of 3
PreviewAuthors / EditorsTitleTypeIssue Date
34_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusInproceedings 2020
Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016
03_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin ; Ivrii, Alexander ; Strichman, Ofer Tutorial on World-Level Model CheckingInproceedings 2020