State-of-the-Art Survey - Constrained Nonlinear 0-1 Programming. - Pierre Hansen; Brigitte Jaumard; Vincent Mathon (INFORMS J. Comput., 1993)