Integer linear programming applied to determining monic hyperbolic irreducible polynomials with integer coefficients and span less than 4
scientific article; zbMATH DE number 6173998