Chen, Yangjun. 2024. “An Efficient Algorithm for Solving the 2-MAXSAT Problem”. Contemporary Mathematics 5 (3):3374-91. https://doi.org/10.37256/cm.5320243304.