conftrace_

parity reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) pseudo-boolean proof (1) drat format (1) xor reasoning (1) resolution refutation (1) proof logging (1) conflict-driven clause learning (1)

Papers

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024 Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021