Chen, Y. An Efficient Algorithm for Solving the 2-MAXSAT Problem. Contemp. Math. 2024, 5, 3374-3391.