conftrace_

drat format

1 paper

Explore in graph

Also known as

DRAT

Co-occurring keywords · papers mentioning both

pseudo-boolean proof (1) parity reasoning (1) xor reasoning (1) proof logging (1) sat solver (1)

Papers

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021