The 2-Maxsat Problem Can Be Solved in Polynomial Time | Hacker News Reader