This page shows all presentations of this author published in EasyChair Smart Slide.
The Effect of Scrambling CNFs
Armin Biere and Marijn Heule
Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories
Katalin Fazekas, Fahiem Bacchus and Armin Biere
BTOR2, BtorMC and Boolector 3.0
Aina Niemetz, Mathias Preiner, Clifford Wolf and Armin Biere
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification
Daniela Ritirc, Armin Biere and Manuel Kauers