conftrace_

partial assignment

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clique complex (1) restart-based search (1) bounds tracking (1) satisfiability modulo counting (1) exact solver (1) higher-order structure (1) quadratic assignment problem (1) probabilistic circuit (1) branch and bound (1) automated reasoning (1)

Papers

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Finding Good Partial Assignments during Restart-Based Branch and Bound Search AAAI 2023 Solving Partial Assignment Problems using Random Clique Complexes ICML 2018