Y. Chen, “An Efficient Algorithm for Solving the 2-MAXSAT Problem”, Contemp. Math., vol. 5, no. 3, pp. 3374–3391, Aug. 2024.