conftrace_

exponential time algorithm

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

branching technique (1) reduction technique (1) cnf satisfiability (1) branching algorithm (1) weighted counting (1) path decomposition (1) amortized technique (1) clause count (1) time-approximation trade-off (1) maximum satisfiability (1)

Papers

New Algorithms for #2-SAT and #3-SAT IJCAI 2025 Time–Approximation Trade-Offs for Learning Bayesian Networks PGM 2024 An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022 An Improved Upper Bound for SAT AAAI 2021