research
∙
05/30/2020
Bitwuzla at the SMT-COMP 2020
In this paper, we present Bitwuzla, our Satisfiability Modulo Theories (...
share
research
∙
06/28/2019
DRAT-based Bit-Vector Proofs in CVC4
Many state-of-the-art Satisfiability Modulo Theories (SMT) solvers for t...
research
∙
05/24/2019
Towards Bit-Width-Independent Proofs in SMT Solvers
Many SMT solvers implement efficient SAT-based procedures for solving fi...
research
∙
06/20/2018
CVC4 at the SMT Competition 2018
This paper is a description of the CVC4 SMT solver as entered into the 2...
research
∙
04/13/2018