Preview
Open Original
Hello, here is my algorithm for solving monotone 1-in-3 SAT in polynomial time. it doesn't claim to be anything special. If you have some free time, please try it out and write what's wrong or what's unclear, and I'll respond. I tried to make everything formal, so there may be inaccuracies. If something is unclear, write in the comments and I'll respond. Thank you to everyone who responds.