SAT and Lattice Reduction for Integer Factorization.

Yameen Ajani, Curtis Bright

Browse the full ISSAC paper archive.