2000 character limit reached
The DRAT format and DRAT-trim checker (1610.06229v1)
Published 19 Oct 2016 in cs.LO
Abstract: This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.
Abstract: This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.