conftrace_

approximate model counting

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model counting (2) sat solver (2) approximate counting (2) hashing-based technique (1) hashing-based algorithm (1) boolean satisfiability solver (1) epsilon-delta approximation (1) cnf-xor formula (1) probabilistic approximation (1) approximation algorithm (1)

Papers

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