4 citations · 8 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 3 cited
CVC4 at the SMT Competition 2018
Clark Barrett, Haniel Barbosa, Martin Brain +8
This paper is a description of the CVC4 SMT solver as entered into the 2018 SMT Competition. We only list important differences from the 2017 SMT Competition version of CVC4. For f…
cs.LO2018
On Solving Quantified Bit-Vectors using Invertibility Conditions
Aina Niemetz, Mathias Preiner, Andrew Reynolds +2
We present a novel approach for solving quantified bit-vector formulas in Satisfiability Modulo Theories (SMT) based on computing symbolic inverses of bit-vector operators. We deri…