The DRAT format and DRAT-trim checker
Not on the map. Why?
Abstract (arXiv)
This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.
Key facts. Cited by 3 papers in the map (data through 14 Oct 2026). First posted on arXiv 19 Oct 2016.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 1; 2023: 1; 2024: 0; 2025: 0; 2026: 1.
3 papers.
- 2023The Packing Chromatic Number of the Infinite Square Grid is 15cited by 4
- 2022SATViz: Real-Time Visualization of Clausal Proofscited by 0
- 2026Target-Aware Data Augmentation for SAT Predictioncited by 0
- 2026Target-Aware Data Augmentation for SAT Prediction7 May 2026
- 2023The Packing Chromatic Number of the Infinite Square Grid is 1523 Jan 2023
- 2022SATViz: Real-Time Visualization of Clausal Proofs13 Sep 2022