Polynomial time reduction from 3SAT to solving low first fall degree multivariable cubic equations system.
Koh-ichi NagaoPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- nonlinear equations
- polynomial equations
- sat solving
- special case
- stochastic local search
- variable ordering
- satisfiability problem
- np complete problems
- input output
- algebraic equations
- combinatorial optimization
- closed loop
- sat encodings
- linear equations
- weighted max sat
- graph coloring
- boolean formula
- sat solvers
- differential equations
- gauss seidel method
- finds an optimal solution
- approximation algorithms
- phase transition
- nonlinear systems
- dnf formulas
- control strategies
- sat instances
- linear systems