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