Chen Y. An Efficient Algorithm for Solving the 2-MAXSAT Problem. Contemp. Math. [Internet]. 2024 Aug. 19 [cited 2025 Apr. 7];5(3):3374-91. Available from: https://ojs.wiserpub.com/index.php/CM/article/view/3304