n, 3)-MaxSAT algorithms

Chao Xu 0010, Jianer Chen, Jianxin Wang. n, 3)-MaxSAT algorithms. Theoretical Computer Science, 774:113-123, 2019. [doi]

Abstract

Abstract is missing.