AB

Armin Biere

University of Freiburg 0000-0001-7170-9242

298

Publications

14,331

Citations

53

h-index

157

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (163)
Book Chapter (103)
Preprint (14)
Book (8)
Dataset (6)

Filter by Open Access Type

Open Access (145)
Closed Access (153)

Filter by Authors

Armin Biere (298)
Marijn J. H. Heule (40)
Martina Seidl (34)
Cyrille Artho (20)
Mathias Preiner (16)

Filter by Topics

Formal Methods in Verification (210)
Logic, programming, and type systems (109)
Software Testing and Debugging Techniques (85)
Constraint Satisfaction and Optimization (46)
Logic, Reasoning, and Knowledge (37)