conftrace_

hard clause weighting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

weighted partial maximum satisfiability (1) stochastic local search (1) configuration checking (1) biased random walk (1) weighted partial maxsat (1) complete solver (1) combinatorial optimization (1)

Papers

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) IJCAI 2017