conftrace_

approximate counting

15 papers

Explore in graph

Co-occurring keywords

model counting (46) approximation algorithm (630) probabilistic inference (312) streaming algorithm (131) sat solver (78) identity testing (19) weighted model counting (20) dnf formula (9) complexity theory (32) approximate model counting (2)

Papers

Towards Real-Time Approximate Counting AAAI 2025
An Approximate Skolem Function Counter AAAI 2024
Engineering an Efficient Approximate DNF-Counter IJCAI 2023
ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022
Testing Probabilistic Circuits NIPS 2021
Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models JMLR 2021
Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models COLT 2020
Taming Discrete Integration via the Boon of Dimensionality NIPS 2020
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting AAAI 2020
On Testing of Samplers NIPS 2020
Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs AAAI 2019
On the Hardness of Probabilistic Inference Relaxations AAAI 2019
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019
A Scalable Scheme for Counting Linear Extensions IJCAI 2018
Streaming Pointwise Mutual Information NIPS 2009