An Application of SAT Solvers in Integer Programming Games. - Pravesh Koirala; Aditya Shrey; Forrest Laine (SAT, 2025)