Publications Daniela KaufmannSome of my work is published under my maiden name 'Ritirc'.
Daniela Kaufmann, Armin Biere, Manuel Kauers. Verifying
Large Multipliers by Combining SAT and Computer Algebra. To be
appear in 19th Intl. Conf. on Formal Methods in Computer Aided
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.
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,
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.
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.