|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | Inproceedings Konferenzbeitrag    | Oct-2023 |
| 2 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Towards Compositional Hardware Model Checking Certification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 3 |  | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 4 |  | Kaufmann, Daniela ; Biere, Armin | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra | Article Artikel | Apr-2023 |
| 5 |  | Rath, Jakob ; Biere, Armin ; Kovács, Laura | First-Order Subsumption via SAT Solving | Konferenzbeitrag Inproceedings | Oct-2022 |
| 6 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Stratified Certification for k-Induction | Konferenzbeitrag Inproceedings | Oct-2022 |
| 7 |  | Froleyks, Nils ; Biere, Armin | Single Clause Assumption without Activation Literals to Speed-up IC3 | Inproceedings Konferenzbeitrag | Oct-2021 |
| 8 |  | Biere, Armin | Tutorial on World-Level Model Checking | Konferenzbeitrag Inproceedings | 2020 |
| 9 |  | Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin | The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus | Konferenzbeitrag Inproceedings | 2020 |
| 10 |  | Kiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blocked Clauses in First-Order Logic | Inproceedings Konferenzbeitrag | 2017 |
| 11 |  | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Super-Blocked Clauses | Inproceedings Konferenzbeitrag | 2016 |
