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