Small Max 3-SAT
openOptimize a Boolean assignment for a compact three-literal CNF instance.
All challenges
Keywordssat
Max 2-SAT
openAssign Boolean variables to satisfy as many two-literal clauses as possible.
Max 3-SAT
openOptimize a Boolean assignment for a medium three-literal CNF instance.
Large Max 3-SAT
openAssign Boolean variables to satisfy as many three-literal clauses as possible.