conftrace_

hashing-based technique

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

approximate model counting (1) hashing-based algorithm (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