Chen, Y. “An Efficient Algorithm for Solving the 2-MAXSAT Problem”. Contemporary Mathematics, vol. 5, no. 3, Aug. 2024, pp. 3374-91, doi:10.37256/cm.5320243304.