conftrace_

weighted partial maximum satisfiability

1 paper

Explore in graph

Also known as

WPMS

Co-occurring keywords · papers mentioning both

stochastic local search (1) configuration checking (1) biased random walk (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