Armin Biere

2PUBLICATIONS
0CO-AUTHORS
Experimental mathematicsMathematical logic, set theory, lattices and universal algebra
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Dec 07, 2020
Incremental column-wise verification of arithmetic circuits using computer algebra.

Daniela Kaufmann, Armin Biere, Manuel Kauers

|Apr 01, 2020
Strong Extension-Free Proof Systems.

Marijn J H Heule, Benjamin Kiesl, Armin Biere

Pageof 1

Frequent Collaborators