Vol-3454⫷ Vol-3455 ⫸Vol-3456
urn:nbn:de:0074-3455-0


Vol-3455/paper2⫷Vol-3455/short1⫸Vol-3455/short2
Yameen AjaniCurtis Bright

A Hybrid SAT and Lattice Reduction Approach for Integer Factorization