conftrace_

hashing-based algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

approximate model counting (1) hashing-based technique (1) cnf-xor formula (1) model counting (1) sat solver (1) approximate counting (1)

Papers

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019