| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Towards Compositional Hardware Model Checking Certification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 2 | | Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | 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 | | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Stratified Certification for k-Induction | Konferenzbeitrag Inproceedings | Oct-2022 |
| 6 | | Rath, Jakob ; Biere, Armin ; Kovács, Laura | First-Order Subsumption via SAT Solving | 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 ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Local Redundancy in SAT: Generalizations of Blocked Clauses | Artikel Article | 2018 |
| 11 | | Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin | Short Proofs Without New Variables | Konferenzbeitrag Inproceedings | 2017 |
| 12 | | Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin | PRuning Through Satisfaction | Konferenzbeitrag Inproceedings | 2017 |
| 13 | | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Kiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blocked Clauses in First-Order Logic | Inproceedings Konferenzbeitrag | 2017 |
| 15 | | Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin | Blocked clauses in first-order logic | Präsentation Presentation | 2016 |
| 16 | | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Super-Blocked Clauses | Inproceedings Konferenzbeitrag | 2016 |
| 17 | | Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination | Konferenzbeitrag Inproceedings | 2015 |
| 18 | | Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin | Clause Elimination for SAT and QSAT | Artikel Article | 2015 |
| 19 | | Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin | EPR Encodings of Bit-Vector Problems Even With Quantifiers | Präsentation Presentation | 2014 |
| 20 | | Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei | Experimenting with SAT Solvers in Vampire | Konferenzbeitrag Inproceedings | 2014 |