open-wbo-inc

We propose two approximation strategies for improving incomplete MaxSAT solving that provide state-of-the-art results on the MaxSAT Evaluation benchmarks.

A MaxSAT solver tailored to the incomplete MaxSAT problem

We propose two approximation strategies for improving incomplete MaxSAT solving that provide state-of-the-art results on the MaxSAT Evaluation benchmarks.