conftrace_

xor reasoning

2 papers

Explore in graph

Also known as

XOR

Co-occurring keywords · papers mentioning both

sat solver (2) cnf-xor formula (1) random formula (1) parity reasoning (1) pseudo-boolean proof (1) drat format (1) proof logging (1) phase transition (1) constraint satisfaction (1)

Papers

Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021 The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017