conftrace_

pseudo-boolean proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

drat format (1) parity reasoning (1) xor reasoning (1) proof logging (1) sat solver (1)

Papers

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021