Armin Biere
Johannes Kepler Universität Linz
H-index: 62
Europe-Austria
Top articles of Armin Biere
Incremental Proofs for Bounded Model Checking
2024/2/15
Disjoint Partial Enumeration without Blocking Clauses
2024
Roberto Sebastiani
H-Index: 24
Armin Biere
H-Index: 39
CaDiCaL vivinst, IsaSAT, Gimsatul, Kissat, and TabularaSAT Entering the SAT Competition 2023
SAT COMPETITION 2023
2023
Armin Biere
H-Index: 39
Mathias Fleury
H-Index: 7
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
2023
BIG Backbones
2023/10/24
Armin Biere
H-Index: 39
Towards compositional hardware model checking certification
2023/10/24
Armin Biere
H-Index: 39
Keijo Heljanko
H-Index: 17
Certified SAT solving with GPU accelerated inprocessing
Formal Methods in System Design
2023/8/2
Enumerating disjoint partial models without blocking clauses
arXiv preprint arXiv:2306.00461
2023/6/1
Roberto Sebastiani
H-Index: 24
Armin Biere
H-Index: 39
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
2023/4/22
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra
International Journal on Software Tools for Technology Transfer
2023/4
Daniela Kaufmann
H-Index: 7
Armin Biere
H-Index: 39
Efficient proof checking with lrat in cadical (work in progress)
2023
Mathias Fleury
H-Index: 7
Armin Biere
H-Index: 39
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging
2023
Armin Biere
H-Index: 39
The SAT Museum
Proceedings of the 14th International Workshop on Pragmatics of SAT (PoS’23)
2023
Armin Biere
H-Index: 39
Mathias Fleury
H-Index: 7
IPASIR-UP: user propagators for CDCL
2023
First-Order Subsumption via SAT Solving.
2022/10/12
Armin Biere
H-Index: 39
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
2000/3/15
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.
2022/9/14
Co-Authors
