A length-22 permutation that three stacks in series cannot sort, with a machine-checkable DRAT certificate. Superseded by Pantone-Vatter (2026).
python computational-mathematics discrete-mathematics combinatorics sat-solver sat drat experimental-mathematics cadical stack-sorting open-problem proof-certificates permutation-patterns
-
Updated
Sep 3, 2026 - Python