The following publications are possibly variants of this publication:
- New local search methods for partial MaxSATShaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su. ai, 240:1-18, 2016. [doi]
- Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SATZhendong Lei, Shaowei Cai. IJCAI 2018: 1346-1352 [doi]
- NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSATZhendong Lei, Shaowei Cai. cj, 63(9):1321-1337, 2020. [doi]
- An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local SearchShohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga. sigarch, 44(4):32-37, 2016. [doi]
- NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting TechniquesYi Chu, Shaowei Cai 0001, Chuan Luo. AAAI 2023: 3915-3923 [doi]