conftrace_

complete solver

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

weighted partial maxsat (1) weighted partial maximum satisfiability (1) stochastic local search (1) configuration checking (1) biased random walk (1) hard clause weighting (1) combinatorial optimization (1)

Papers

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