论文信息 - The DRAT format and DRAT-trim checker

This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.

[1] Marijn J. H. Heule,et al. Trimming while checking clausal proofs , 2013, 2013 Formal Methods in Computer-Aided Design.