conftrace_

exact solver

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model counting (2) combinatorial optimization (2) satisfiability modulo counting (1) conjunctive normal form (1) running time bound (1) maximum edge-weighted clique (1) maximum clique (1) partial assignment (1) probabilistic caching (1) bounds tracking (1)

Papers

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 Combinatorial Optimization and Reasoning with Graph Neural Networks JMLR 2023 An exact solver for the Weston-Watkins SVM subproblem ICML 2021 GANAK: A Scalable Probabilistic Exact Model Counter IJCAI 2019