@misc{indiciaeddb8178b405b, title = {Using Integer Programming to Solve Games, Puzzles, and Ciphers}, author = {Elizabeth Bouzarth and John Harris and Kevin Hutson and Christian Millichap}, year = {2025}, url = {https://arxiv.org/abs/2509.12174}, note = {Source identifier: 2509.12174} }