NuWLS

The source code NuWLS for solving (Weighted) Partial MaxSAT instances

NuWLS-source-code dir

Supported Format

NuWLS currently supports the format of instances for MaxSAT Evaluations prior to 2022.

To understand the format supported by NuWLS, please refer to the MaxSAT Evaluation 2022 rules (https://maxsat-evaluations.github.io/2022/rules.html#input).

Format Conversion

You can use the code available here (https://bitbucket.org/fbacchus/maxsat_benchmarks_code_base/src/master/) to convert new format to the old format.

Technical appendix

NuWLS-technical-appendix.pdf

• The effect of different parameter settings on the performance of NuWLS.

• The parameter settings of SATLike3.0, BandMaxSAT, NuWLS-alt1, and NuWLS-alt2.

For more details, please refer to the original paper:

[1] Yi Chu, Shaowei Cai, Chuan Luo. NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. AAAI 2023: 3915-3923