NP Playground

Pick a problem. Reduce to uniform 3-SAT. Solve via AUMA. Interpret the answer. — home | /math

Problem

Original CNF

Select a problem above...

Uniform 3-SAT