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