The DRAT format and DRAT-trim checker

Marijn J. H. Heule

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

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment