[  21 | 20 | 19 | 18 | 17 ]

2021

Daniela Kaufmann and Armin Biere. AMulet 2.0 for Verifying Multiplier Circuits. In Proc. 14th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 8 pages, vol. 12652, pages 357-364, Lecture Notes in Computer Science (LNCS) Springer 2021.
[ paper | bibtex | artifact ]

2020

Daniela Kaufmann. Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey. In Proc. 14th Intl. Workshop on Boolean Problems (IWSBP'20), 26 pages, To Appear.
[ paper | bibtex ]

Daniela Kaufmann, Mathias Fleury, Armin Biere. The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus. In Proc. 20th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'20), pages 264-269, TU Vienna Academic Press 2020.
[ paper | bibtex | experiments ]

Mathias Fleury, Daniela Kaufmann. Practical Algebraic Calculus Checker. Archive of Formal Proofs
[ Archive of Formal Proofs | bibtex | experiments and link to source code ]

Daniela Kaufmann, Armin Biere. Nullstellensatz-Proofs for Multiplier Verification. In Proc.  Computer Algebra in Scientific Computing (CASC'20), Lecture Notes in Computer Science (LNCS) vol. 12291, pages 368-389, Springer 2020.
[ paper | bibtex | experiments ]

Daniela Kaufmann. Formal Verification of Multiplier Circuits using Computer Algebra. Dissertation Technische Wissenschaften, Informatik, Johannes Kepler University, Linz, 2020.
[ thesis | bibtex ]

Daniela Kaufmann, Armin Biere, Manuel Kauers. From DRUP to PAC and Back. In Proc. Design, Automation and Test in Europe (DATE'20), pages 654-657, IEEE 2020.
[ paper | bibtex | experiments ]

Daniela Kaufmann, Armin Biere, Manuel Kauers. SAT, Computer Algebra, Multipliers. In Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, pages 1-18, EasyChair 2020.
[ paper | bibtex ]

2019

Daniela Kaufmann, Armin Biere, Manuel Kauers. Verifying Large Multipliers by Combining SAT and Computer Algebra. In Proc. 19th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'19), pages 28-36, IEEE 2019.
[ paper | bibtex | experiments ]

Daniela Kaufmann, Manuel Kauers, Armin Biere, David Cok. Arithmetic Verification Problems Submitted to the SAT Race 2019}, In Proc. of SAT Race 2019 - Solver and Benchmark Descriptions, Marijn Heule, Matti Järvisalo, Martin Suda (editors), vol. B-2019-1 of Department of Computer Science Series of Publications B, pages 49, University of Helsinki, 2019.
[ paper | bibtex ]

Daniela Kaufmann, Armin Biere, Manuel Kauers. Incremental column-wise verification of arithmetic circuits using computer algebra. To be published in Formal Methods in System Design, Springer 2019.
[ preprint | experiments ]

2018

Daniela Ritirc, Armin Biere, Manuel Kauers. A Practical Polynomial Calculus for Arithmetic Circuit Verification. In Proc. 3rd Intl.  Workshop on Satisfiability Checking and Symbolic Computation (SC2'18), pages 61-76, CEUR-WS, 2018.
[ paper | bibtex | experiments ]

Daniela Ritirc, Armin Biere, Manuel Kauers. Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliers. In Proc. Design, Automation and Test in Europe (DATE'18), pages 1556-1561, IEEE 2018.
[ paper | bibtex | experiments ]

2017

Armin Biere, Manuel Kauers, Daniela Ritirc,. Challenges in Verifying Arithmetic Circuits Using Computer Algebra. In Proc. 19th Intl. Symp. on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17), IEEE.
[ paper | bibtex ]

Best paper
Daniela Ritirc, Armin Biere, Manuel Kauers. Column-Wise Verification of Multipliers Using Computer Algebra. In Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'17), pages 23-30, IEEE 2017.
[ paper | bibtex | experiments | pictures ]