AB
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)