Figure 5

Exponent \(\alpha\) of the final NFS runtime \(L^{\alpha +o(1)}\) with the use of a SAT solver with \(\gamma\)-speedup. The relation between \(\alpha\) and \(\gamma\) is given in Theorem 4.
Exponent \(\alpha\) of the final NFS runtime \(L^{\alpha +o(1)}\) with the use of a SAT solver with \(\gamma\)-speedup. The relation between \(\alpha\) and \(\gamma\) is given in Theorem 4.