Commentary history

1 edit.

David Renshaw · 2026-08-04 17:47:45 UTC

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).