EasyChair Smart SlideDocs/Log in
Author: Daniela Ritirc

This page shows all presentations of this author published in EasyChair Smart Slide.

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Daniela Kaufmann, Paul Beame, Armin Biere and Jakob Nordstrom

RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification

RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification

Daniela Ritirc, Armin Biere and Manuel Kauers

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair