Chen, Yangjun. “An Efficient Algorithm for Solving the 2-MAXSAT Problem”. Contemporary Mathematics 5, no. 3 (August 19, 2024): 3374–3391. Accessed April 8, 2025. https://ojs.wiserpub.com/index.php/CM/article/view/3304.