@article{JTNB_2013__25_1_71_0, author = {Souad El Otmani and Armand Maul and Georges Rhin and Jean-Marc Sac-\'Ep\'ee}, title = {Integer {Linear} {Programming} applied to determining monic hyperbolic irreducible polynomials with integer coefficients and span less than 4}, journal = {Journal de Th\'eorie des Nombres de Bordeaux}, pages = {71--78}, publisher = {Soci\'et\'e Arithm\'etique de Bordeaux}, volume = {25}, number = {1}, year = {2013}, doi = {10.5802/jtnb.826}, zbl = {1271.90053}, mrnumber = {3063831}, language = {en}, url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.826/} }