◍wovepaper
SearchResearchersInstitutions
Sign in
cs.LOOct 19, 2016
9
citations (OpenAlex)
authors
  • Marijn J. H. Heule
arXiv abstractPDF
paper

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.

Cited by in corpus (2)

  • Efficient Certified RAT Verification
  • Efficient Certified Resolution Proof Checking
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.