Integer Linear Programming applied to determining monic hyperbolic irreducible polynomials with integer coefficients and span less than 4

El Otmani, Souad; Maul, Armand; Rhin, Georges; Sac-Épée, Jean-Marc

Journal de théorie des nombres de Bordeaux, Volume 25 (2013) p. 71-78