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