The square achievement game on an n x n grid is a first-player win for every n >= 5. Solvers, logs and verification for the nine previously open cases n = 6..14.
c mathematics bitboard discrete-mathematics combinatorics sat-solver alpha-beta-pruning negamax transposition-table exhaustive-search combinatorial-game-theory computer-assisted-proof game-solver open-problem positional-games maker-maker achievement-games
-
Updated
Aug 29, 2026 - C