Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Armin Biere | Researchclopedia

Back to researchers

Armin Biere

University of Freiburg ORCID

294

Works

14,154

Citations

52

h-index

154

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques

Affiliations

Karlsruhe Institute of Technology1997–2001

Johannes Kepler University of Linz2005–2024

TU Wien2017–2017

University of Freiburg2022–2025

Board of the Swiss Federal Institutes of Technology2002–2002

Top Works

Symbolic Model Checking without BDDs

Armin Biere,Alessandro Cimatti,et al.

19992,114 citations

Constraint Satisfaction and Optimization

Logic, Reasoning, and Knowledge

Bounded Model Checking

Armin Biere,Alessandro Cimatti,et al.

2003948 citations

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere,Alessandro Cimatti,et al.

1999688 citations

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke,Armin Biere,et al.

2001670 citations

Effective Preprocessing in SAT Through Variable and Clause Elimination

Niklas Eén,Armin Biere

2005587 citations

Symbolic Model Checking without BDDs

Armin Biere,Alessandro Cimatti,et al.

1999528 citations

Handbook of Satisfiability

Armin Biere,Marijn J. H. Heule,et al.

2021484 citations

Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

Robert Brummayer,Armin Biere

2009359 citations

A survey of recent advances in SAT-based formal verification

Mukul R. Prasad,Armin Biere,et al.

2005273 citations