GPU-based Graver Basis Extraction for Nonlinear Integer Optimization - Liu, Wenbo (arXiv.org)