conftrace_

soft clause

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

maxsat solver (1) weighted partial maxsat (1) core-guided solver (1) unsatisfiable core (1) conflict analysis (1) core-guided algorithm (1) core detection (1) lower bound (1) combinatorial optimization (1)

Papers

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT AAAI 2025