TY - RPRT TI - Turning Mathematics Problems into Games: Reinforcement Learning and Gröbner bases together solve Integer Feasibility Problems AU - Yue Wu AU - Jesús A. De Loera PY - 2022 UR - https://arxiv.org/abs/2208.12191 ID - 2208.12191 ER -