Chen, Y. (2024) “An Efficient Algorithm for Solving the 2-MAXSAT Problem”, Contemporary Mathematics, 5(3), pp. 3374–3391. doi: 10.37256/cm.5320243304.