Biere, Armin

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Biere, Armin
 
Main Affiliation Organisationszuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
103_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin ; Ivrii, Alexander ; Strichman, Ofer Tutorial on World-Level Model CheckingInproceedings2020
2Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag2016
334_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 CalculusInproceedings2020