Solving the Cubic Monotone 1-in-3 SAT Problem in Polynomial Time. GJCST. 2024;23(A1):1-10. Accessed June 6, 2026. https://www.computerresearch.org/index.php/computer/article/view/102342