Max 2-SAT

理论计算机科学中的经典优化问题，给定2-CNF公式，寻找使最多子句同时为真的赋值。