Armin Biere
Full Professor
Albert-Ludwigs-Universität Freiburg
GermanyResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Armin Biere is a Full Professor at Albert-Ludwigs-Universität Freiburg, Germany. His research interests encompass automated reasoning, satisfiability solving, and the application of computer algebra in verifying circuits. His recent publications include works on enumerating projected models, certified SAT solving with GPU acceleration, and techniques for verifying arithmetic circuits.
Articles (6)
Year:
2025
Year:
2023
Year:
2023
Year:
2020
Year:
2020
Year:
2020
Collaborators (3)
Anton Wijs
Associate Professor
Eindhoven University of Technology
NETHERLANDS
Daniela Kaufmann
TU Wien
AUSTRIA
Roberto Sebastiani
University of Trieste
ITALY
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.