|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Konrad, Alexander ; Scholl, Christoph | FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits | Inproceedings Konferenzbeitrag    | 2025 |
| 2 | | Biere, Armin ; Froleyks, Nils ; Preiner, Mathias | Hardware Model Checking Competition 2025 | Inproceedings Konferenzbeitrag | 2025 |
| 3 | | Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin | Incremental Inprocessing Rules beyond Resolution | Inproceedings Konferenzbeitrag | 2025 |
| 4 | | Biere, Armin ; Froleyks, Nils ; Preiner, Mathias | Hardware Model Checking Competition 2024 | Inproceedings Konferenzbeitrag | Oct-2024 |
| 5 | | Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils | Clausal Equivalence Sweeping | Inproceedings Konferenzbeitrag | Oct-2024 |
| 6 | | Konrad, Alexander ; Scholl, Christoph | Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases | Inproceedings Konferenzbeitrag | Oct-2024 |
| 7 | | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 8 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Towards Compositional Hardware Model Checking Certification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 9 |  | Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | Inproceedings Konferenzbeitrag | Oct-2023 |
| 10 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Stratified Certification for k-Induction | Inproceedings Konferenzbeitrag | Oct-2022 |
| 11 |  | Konrad, Alexander ; Scholl, Christoph ; Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf | Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization | Inproceedings Konferenzbeitrag | Oct-2022 |
| 12 |  | Froleyks, Nils ; Biere, Armin | Single Clause Assumption without Activation Literals to Speed-up IC3 | Inproceedings Konferenzbeitrag | Oct-2021 |
| 13 |  | Lahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan | Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost | Inproceedings Konferenzbeitrag | 2020 |
| 14 |  | Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin | The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus | Inproceedings Konferenzbeitrag | 2020 |
| 15 |  | Biere, Armin | Tutorial on World-Level Model Checking | Inproceedings Konferenzbeitrag | 2020 |
