conftrace_

core-guided algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maxsat solver (1) weighted partial maxsat (1) core-guided solver (1) unsatisfiable core (1) soft clause (1) conflict analysis (1) combinatorial optimization (1)

Papers

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025