conftrace_

counting problem

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

approximation algorithm (2) proof system (1) exponential time algorithm (1) proof verification (1) randomized approximation (1) verifiable computation (1) branching algorithm (1) weighted counting (1) path decomposition (1) polynomial verification (1)

Papers

New Algorithms for #2-SAT and #3-SAT IJCAI 2025 Tight Bounds for Noisy Computation of High-Influence Functions, Connectivity, and Threshold COLT 2025 Revisiting Bayesian network learning with small vertex cover UAI 2023 Trustworthy Monte Carlo NeurIPS 2022 High Dimensional Discrete Integration over the Hypergrid UAI 2020 Solving Marginal MAP Problems with NP Oracles and Parity Constraints NeurIPS 2016