Concept最大2-SAT / Max-2-SAT
Max 2-SAT
A classic optimization problem in theoretical computer science: given a 2-CNF formula, find an assignment that satisfies the maximum number of clauses simultaneously.
A classic optimization problem in theoretical computer science: given a 2-CNF formula, find an assignment that satisfies the maximum number of clauses simultaneously.