| 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 | 108 | 2019 |
| 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 | 68 | 2017 |
| 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 | 38 | 2018 |
| AMulet 2.0 for Verifying Multiplier Circuits D Kaufmann, A Biere Tools and Algorithms for the Construction and Analysis of Systems27th …, 2021 | 28 | 2021 |
| 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 | 28 | 2020 |
| Formal Verification of Multiplier Circuits using Computer Algebra D Kaufmann Institute of Formal Models and Verification, Johannes Kepler University Linz, 2020 | 19 | 2020 |
| A practical polynomial calculus for arithmetic circuit verification D Ritirc, A Biere, M Kauers 3rd International Workshop on Satisfiability Checking and Symbolic …, 2018 | 16 | 2018 |
| From DRUP to PAC and back D Kaufmann, A Biere, M Kauers 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 654-657, 2020 | 15 | 2020 |
| 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 | 15* | 2020 |
| Arithmetic verification problems submitted to the SAT Race 2019 D Kaufmann, M Kauers, A Biere, D Cok Proc. of SAT Race 2019, 2019 | 14 | 2019 |
| Adding dual variables to algebraic reasoning for gate-level multiplier verification D Kaufmann, P Beame, A Biere, J Nordström 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 13 | 2022 |
| SAT, computer algebra, multipliers D Kaufmann, A Biere, M Kauers Vampire, 1-18, 2018 | 13 | 2018 |
| Nullstellensatz-proofs for multiplier verification D Kaufmann, A Biere Computer Algebra in Scientific Computing: 22nd International Workshop, CASC …, 2020 | 12 | 2020 |
| Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra D Kaufmann, A Biere International Journal on Software Tools for Technology Transfer 25 (2), 133-144, 2023 | 11 | 2023 |
| SMT Solving over Finite Field Arithmetic T Hader, D Kaufmann, L Kovács Proceedings of 24th International Conference on Logic for Programming …, 2023 | 8 | 2023 |
| Fuzzing and delta debugging and-inverter graph verification tools D Kaufmann, A Biere International Conference on Tests and Proofs, 69-88, 2022 | 7 | 2022 |
| Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker D Kaufmann, M Fleury, A Biere, M Kauers Formal Methods in System Design, 1-35, 2022 | 5 | 2022 |
| 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, RISC, Johannes Kepler University, Linz, Austria, 2016 | 5 | 2016 |
| Fuzzing-based grammar inference H Sochor, F Ferrarotti, D Kaufmann International Conference on Model and Data Engineering, 72-86, 2022 | 4 | 2022 |
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
