research
∙
07/06/2021
Alethe: Towards a Generic SMT Proof Format (extended abstract)
The first iteration of the proof format used by the SMT solver veriT was...
share
research
∙
05/28/2021
Fair and Adventurous Enumeration of Quantifier Instantiations
SMT solvers generally tackle quantifiers by instantiating their variable...
research
∙
08/23/2019
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Sixth Workshop on P...
research
∙
07/23/2019
CVC4SY for SyGuS-COMP 2019
CVC4Sy is a syntax-guided synthesis (SyGuS) solver based on bounded term...
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
∙
12/05/2017