conftrace_

biased random walk

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

weighted partial maximum satisfiability (1) stochastic local search (1) configuration checking (1) hard clause weighting (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