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