The 2-Maxsat Problem Can Be Solved in Polynomial Time by from Hacker News on 2023-04-27 12:11 (#6B76W) Comments