SAT and Lattice Reduction for Integer Factorization.
Yameen AjaniCurtis BrightPublished in: ISSAC (2024)
Keyphrases
- integer points
- satisfiability problem
- lattice structure
- pairwise
- singular value decomposition
- search algorithm
- sat solving
- search strategies
- matrix factorization
- sat solvers
- concept lattice
- boolean satisfiability
- reduction method
- floating point
- attribute reduction
- max sat
- neural network
- multibody
- phase transition
- constraint satisfaction
- model checking
- boolean algebra
- non rigid structure from motion
- objective function