Omar Kettani, “Solving the Cubic Monotone 1-in-3 SAT Problem in Polynomial Time”, GJCST, vol. 23, no. A1, pp. 1–10, Jan. 2024.