Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Armin Biere | Researchclopedia
Back to researchers
Armin Biere
University of Freiburg
ORCID
Top Works
Constraint Satisfaction and Optimization
Logic, Reasoning, and Knowledge
Bounded Model Checking
Armin Biere
,
Alessandro Cimatti
,
et al.
2003
948 citations