DRAT-based Bit-Vector Proofs in CVC4.

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

Browse the full SAT paper archive.