DRAT-based Bit-Vector Proofs in CVC4.

Alex Ozdemir Aina Niemetz Mathias Preiner Yoni Zohar Clark W. Barrett

Published in: CoRR (2019)

Keyphrases

bit vector
theorem proving
bit vectors
theorem prover
formal proofs
neural network
decision procedures
formal proof
equational theories
image processing
clustering algorithm
dense datasets
mathematical proofs