conftrace_

satisfiability modulo counting

2 papers

Explore in graph

Also known as

SMC

Co-occurring keywords · papers mentioning both

probabilistic outcome (1) statistical reasoning (1) partial assignment (1) bounds tracking (1) exact solver (1) probabilistic circuit (1) approximation algorithm (1) automated reasoning (1) symbolic reasoning (1) probabilistic inference (1)

Papers

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees AAAI 2024