Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.
Thomas SeedAndy KingNeil EvansPublished in: SAT (2020)
Keyphrases
- bit vector
- numerically stable
- polynomial equations
- sat solvers
- algebraic geometry
- satisfiability problem
- numerical stability
- methods in computer vision
- bit vectors
- stochastic local search
- simulated annealing
- sat solving
- search algorithm
- sat problem
- phase transition
- stochastic local search algorithms
- optimization problems