SAT and Lattice Reduction for Integer Factorization.
Yameen AjaniCurtis BrightPublished in: CoRR (2024)
Keyphrases
- satisfiability problem
- integer points
- pairwise
- search algorithm
- sat solvers
- singular value decomposition
- reduction method
- lattice structure
- search strategies
- matrix factorization
- max sat
- propositional satisfiability
- orders of magnitude
- concept lattice
- sat solving
- stochastic local search algorithms
- backtracking search