Factoring Trinomials with Integer Coefficients.