A Hybrid SAT and Lattice Reduction Approach for Integer Factorization.

Yameen Ajani Curtis Bright

Published in: SC-Square@ISSAC (2023)

Keyphrases

integer points
search algorithm
constraint satisfaction
sat solvers
hybrid learning
reduction method
search procedures
lattice structure
pairwise
constraint satisfaction problems
matrix factorization
sat problem