Home
Projects
Publications
Talks
Awards
Contact
Armin Biere
Latest
Boolector at the SMT competition 2019
Boolector at the SMT competition 2018
Btor2 , BtorMC and Boolector 3.0
Boolector at the SMT competition 2017
Counterexample-Guided Model Synthesis
Model-Based API Testing for SMT Solvers
Propagation based local search for bit-precise reasoning
Boolector at the SMT competition 2016
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
Better Lemmas with Lambda Extraction
Boolector at the SMT competition 2015
Improving Local Search For Bit-Vector Logics in SMT with Path Propagation
Boolector 2.0
Boolector at the SMT competition 2014
Turbo-charging Lemmas on demand with don't care reasoning
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
Lemmas on Demand for Lambdas
Resolution-Based Certificate Extraction for QBF - (Tool Presentation)
Cite
×