Scholar
Armin Biere
Google Scholar ID: V6ES1nIAAAAJ
Professor of Computer Science, University of Freiburg
Satisfiability
Automated Reasoning
Formal Verification
Model Checking
Debugging
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
26,776
H-index
68
i10-index
217
Publications
20
Co-authors
120
list available
Publications
1 items
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
2026
Cited
0
Co-authors
10 total
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Martina Seidl
Univ.-Prof., JKU Linz
Alessandro Cimatti
Fondazione Bruno Kessler
Mathias Fleury
University Freiburg
Cyrille Artho
KTH Royal Institute of Technology, Sweden
Mathias Preiner
Stanford University
Matti Järvisalo
Professor of Computer Science, University of Helsinki
Daniela Kaufmann
TU Wien
