n, 3)-MaxSAT algorithms

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

Authors

Chao Xu 0010

This author has not been identified. Look up 'Chao Xu 0010' in Google

Jianer Chen

This author has not been identified. Look up 'Jianer Chen' in Google

Jianxin Wang

This author has not been identified. Look up 'Jianxin Wang' in Google