Optimal at size 4: a complete SAT encoding is UNSAT for |A| >= 5, independently confirmed by exhaustively checking all 230,300 five-element sets containing 0 (which covers every five-set by translation invariance).
last edited by David Renshaw at 2026-08-04 17:47:45 UTC · history
Commentary
last edited by David Renshaw at 2026-08-04 17:47:45 UTC · history
Log in to add commentary.