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