The DRAT format and DRAT-trim checker
arXiv:1610.06229
Abstract
This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.
arXiv:1610.06229
This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.