The DRAT format and DRAT-trim checker
Logic in Computer Science
2016-10-21 v1
Authors:
Marijn J. H. Heule
Abstract
This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.
Cite
@article{arxiv.1610.06229,
title = {The DRAT format and DRAT-trim checker},
author = {Marijn J. H. Heule},
journal= {arXiv preprint arXiv:1610.06229},
year = {2016}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Efficient Certified RAT Verification
Luís Cruz-Filipe, Marijn Heule, Warren Hunt, Matt Kaufmann +1
2017-08-09
Logic in Computer Science · Computer Science
A Flexible Proof Format for SAT Solver-Elaborator Communication
Seulkee Baek, Mario Carneiro, Marijn J. H. Heule
2023-06-22
Software Engineering · Computer Science
Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting
Jingchao Chen
2018-06-26
Software Engineering · Computer Science
Document Retrieval Augmented Fine-Tuning (DRAFT) for safety-critical software assessments
Regan Bolton, Mohammadreza Sheikhfathollahi, Simon Parkinson, Vanessa Vulovic +3
2026-05-12
Computation and Language · Computer Science
DART: A Lightweight Quality-Suggestive Data-to-Text Annotation Tool
Ernie Chang, Jeriah Caplinger, Alex Marin, Xiaoyu Shen +1
2020-12-02
Methodology · Statistics
Distance Assisted Recursive Testing
Xuechan Li, Anthony Sung, Jichun Xie
2021-09-28
Logic in Computer Science · Computer Science
Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)
Hossein Hojjat, Philipp Rümmer
2018-01-09
Logic in Computer Science · Computer Science
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
Stephan Gocht, Jakob Nordström
2022-09-27
Computation and Language · Computer Science
DART: An AIGT Detector using AMR of Rephrased Text
Hyeonchu Park, Byungjun Kim, Bugeun Kim
2025-02-05
Computation and Language · Computer Science
Chart Parsing Multimodal Grammars
Richard Moot
2018-04-09
Software Engineering · Computer Science
What the Fix? A Study of ASATs Rule Documentation
Corentin Latappy, Thomas Degueule, Jean-Rémy Falleri, Romain Robbes +2
2024-02-14
Computation and Language · Computer Science
Categorial Minimalist Grammar
Maxime Amblard, Alain Lecomte, Christian Retoré
2010-12-15
Computation and Language · Computer Science
FAKTA: An Automatic End-to-End Fact Checking System
Moin Nadeem, Wei Fang, Brian Xu, Mitra Mohtarami +1
2019-06-12
Logic in Computer Science · Computer Science
A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems
Predrag Janičić
2025-11-25
Logic · Mathematics
Clausal Analysis of First-order Proof Schemata
David M. Cerna, Michael Lettmann
2022-07-21
Software Engineering · Computer Science
Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds +1
2025-04-01
Software Engineering · Computer Science
What's the point of documentation?
Louise Pryor
2010-11-05
Logic in Computer Science · Computer Science
A Deductive Refinement Calculus for Differential-Algebraic Programs
Jonathan Hellwig, Long Qian, André Platzer
2026-05-12
Computation and Language · Computer Science
Deductive Closure Training of Language Models for Coherence, Accuracy, and Updatability
Afra Feyza Akyürek, Ekin Akyürek, Leshem Choshen, Derry Wijaya +1
2024-06-28
Logic in Computer Science · Computer Science
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal +4
2024-04-19
Programming Languages · Computer Science
Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2018-09-18
Software Engineering · Computer Science
Scalability Analysis of the RADAR Decision Support Tool
Saheed A. Busari, Emmanuel Letier
2017-02-13
Neural and Evolutionary Computing · Computer Science
Erratum: Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation
Pietro S. Oliveto, Carsten Witt
2012-12-03
Logic in Computer Science · Computer Science
Revisiting Decision Diagrams for SAT
Tom van Dijk, Rüdiger Ehlers, Armin Biere
2018-05-10
Logic in Computer Science · Computer Science
Proving Calculational Proofs Correct
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
2023-11-16