“An Efficient Algorithm for Solving the 2-MAXSAT Problem”. Contemporary Mathematics 5, no. 3 (August 19, 2024): 3374–3391. Accessed December 24, 2025. https://ojs353.mebyme.cn/index.php/CM/article/view/3304.