open-wbo-inc

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of unsatisfied soft clauses without providing any optimality guarantees. In this paper, we propose two approximation strategies for improving …

Open-WBO-Inc in MaxSAT Evaluation 2019

Open-WBO-Inc Incomplete MaxSAT Solver

A MaxSAT solver tailored to the incomplete MaxSAT problem

Approximation Strategies for Incomplete MaxSAT

Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft clauses without providing any optimality guarantees. In this paper, we propose two approximation strategies for …

Open-WBO-Inc in MaxSAT Evaluation 2018