A arxiv.org The 2-MAXSAT Problem Can Be Solved in Polynomial Time 61 points 9NRtKyP4 3 years ago 102 comments
