Yangjun Chen. The 2-MAXSAT Problem Can Be Solved in Polynomial Time. In International Conference on Computational Science and Computational Intelligence, CSCI 2022, Las Vegas, NV, USA, December 14-16, 2022. pages 472-479, IEEE, 2022. [doi]
Abstract is missing.