Integer Programming with GCD Constraints. - Rémy Défossez; Christoph Haase; Alessio Mansutti; Guillermo A. Pérez 001 (SODA, 2024)