EasyChair Smart SlideHelp/Log in
Author: Armin Biere

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

The Effect of Scrambling CNFs

The Effect of Scrambling CNFs

Armin Biere and Marijn Heule

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Katalin Fazekas, Fahiem Bacchus and Armin Biere

BTOR2, BtorMC and Boolector 3.0

BTOR2, BtorMC and Boolector 3.0

Aina Niemetz, Mathias Preiner, Clifford Wolf and Armin Biere

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: 4
Copyright © 2002 – 2021 EasyChair