Large final polynomials from integer programming | Publicación