An Iterative Scheme for Valid Polynomial Inequality Generation in Binary Polynomial Programming - Ghaddar, Bissan; Vera, Juan C.; Anjos, Miguel F. (Groupe d’études et de recherche en analyse des décisions, 2010)