conftrace_

cnf-xor formula

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) xor reasoning (1) random formula (1) approximate model counting (1) hashing-based technique (1) hashing-based algorithm (1) model counting (1) phase transition (1) approximate counting (1) constraint satisfaction (1)

Papers

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019 The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017