, Polip, library for polynomially constrained mixed-integer programming, 2014.

S. Elloumi, A. Billionnet, and A. Lambert, Exact quadratic convex reformulations of mixedinteger quadratically constrained problems, Mathematical Programming, vol.158, pp.235-266, 2016.

J. Bernasconi, Low autocorrelation binary sequences : statistical mechanics and configuration space analysis, J. Physique, vol.141, issue.48, pp.559-567, 1987.

R. Fortet, L'algebre de boole et ses applications en recherche operationelle. Cahier du Centre d, Etudes de Recherche Operationnelle, vol.4, pp.5-36, 1959.

F. Liers, E. Marinari, U. Pagacz, F. Ricci-tersenghi, and V. Schmitz, A non-disordered glassy model with a tunable interaction range, Journal of Statistical Mechanics : Theory and Experiment, p.5003, 2010.