CCC YC The 2-Maxsat Problem Can Be Solved in Polynomial Time Story Published at: April 27, 2023 at 01:11PM Apr 27