Next: MAXIMUM DISTINGUISHED ONES
Up: Propositional Logic
Previous: MAXIMUM NOT-ALL-EQUAL 3-SATISFIABILITY
  Index
- INSTANCE:
Set U of variables, collection C of conjunctive clauses of at most
three literals, where a literal is a variable or a negated variable in U.
- SOLUTION:
A truth assignment for U.
- MEASURE:
Number of clauses satisfied by the truth assignment.
- Bad News:
Not in APX [329].
- Garey and Johnson: LO8
Viggo Kann
2000-03-20