A Survey of Methods for Pure Nonlinear Integer Programming | Synapse