JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

Practical Algebraic Calculus

This page provides access to evaluate the experiments described in our paper at SC2 2018.

Daniela Ritirc, Armin Biere, Manuel Kauers.
A Practical Polynomial Calculus for Arithmetic Circuit Verification,
presented at 3rd Intl. Workshop on Satisfiability Checking and Symbolic Computation (SC2 2018),
Oxford, UK, July 2018.
[ paper] [ bibtex ]

[ RitircBiereKauers-SC2-18-data.tar.xz ] all data, benchmarks and source code (278.2 MB)
[ RitircBiereKauers-SC2-18-src.tar.xz ] only source code (0.3 MB)

[ pactrim-0819.tar.xz ] updated version