| Column-wise verification of multipliers using computer algebra D Ritirc, A Biere, M Kauers 2017 Formal Methods in Computer Aided Design (FMCAD), 23-30, 2017 | 47 | 2017 |
| Verifying large multipliers by combining SAT and computer algebra D Kaufmann, A Biere, M Kauers 2019 Formal Methods in Computer Aided Design (FMCAD), 28-36, 2019 | 30 | 2019 |
| Improving and extending the algebraic approach for verifying gate-level multipliers D Ritirc, A Biere, M Kauers 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 22 | 2018 |
| Incremental Column-wise verification of arithmetic circuits using computer algebra D Kaufmann, A Biere, M Kauers Formal Methods in System Design 56 (1), 22-54, 2020 | 13 | 2020 |
| A practical polynomial calculus for arithmetic circuit verification D Ritirc, A Biere, M Kauers 3rd International Workshop on Satisfiability Checking and Symbolic …, 2018 | 10 | 2018 |
| Formal Verification of Multiplier Circuits using Computer Algebra D Kaufmann Institute of Formal Models and Verification, Johannes Kepler University Linz, 2020 | 8 | 2020 |
| Arithmetic verification problems submitted to the SAT Race 2019 D Kaufmann, M Kauers, A Biere, D Cok Proc. of SAT Race 2019, 2019 | 8 | 2019 |
| SAT, computer algebra, multipliers D Kaufmann, A Biere, M Kauers Vampire, 1-18, 2018 | 7 | 2018 |
| Challenges in verifying arithmetic circuits using computer algebra A Biere, M Kauers, D Ritirc 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 5 | 2017 |
| Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools D Ritirc Master’s thesis, Research Institute for Symbolic Computation (RISC …, 2016 | 5 | 2016 |
| From DRUP to PAC and back D Kaufmann, A Biere, M Kauers 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 654-657, 2020 | 4 | 2020 |
| AMulet 2.0 for Verifying Multiplier Circuits D Kaufmann, A Biere Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021 | 3 | 2021 |
| Nullstellensatz-proofs for multiplier verification D Kaufmann, A Biere International Workshop on Computer Algebra in Scientific Computing, 368-389, 2020 | 2 | 2020 |
| Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning-A Survey D Kaufmann Recent Findings in Boolean Techniques: Selected Papers from the 14th …, 2021 | | 2021 |
| The Proof Checkers Pacheck and Pasteque for the Practical Algebraic Calculus D Kaufmann, M Fleury, A Biere 2020 Formal Methods in Computer Aided Design (FMCAD) 1, 264-269, 2020 | | 2020 |
Armin BiereAlbert-Ludwigs-Universität FreiburgBestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
