“An Efficient Algorithm for Solving the 2-MAXSAT Problem”, Contemp. Math., vol. 5, no. 3, pp. 3374–3391, Aug. 2024, doi: 10.37256/cm.5320243304.