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