Daniela Ritirc

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 5

Top Topics

Formal Verification

Boolean Satisfiability

Automated Theorem Provers

Stochastic Local Search Algorithms

Top Venues

Publications

Daniela Ritirc, Armin Biere, Manuel Kauers
SAT, Computer Algebra, Multipliers. Vampire (2019)
Daniela Ritirc, Armin Biere, Manuel Kauers
A Practical Polynomial Calculus for Arithmetic Circuit Verification. SC-Square@FLOC (2018)
Daniela Ritirc, Armin Biere, Manuel Kauers
Improving and extending the algebraic approach for verifying gate-level multipliers. DATE (2018)
Armin Biere, Manuel Kauers, Daniela Ritirc
Challenges in Verifying Arithmetic Circuits Using Computer Algebra. SYNASC (2017)
Daniela Ritirc, Armin Biere, Manuel Kauers
Column-wise verification of multipliers using computer algebra. FMCAD (2017)