On Solving Word Equations Using SAT.
Joel D. DayThorsten EhlersMitja KulczynskiFlorin ManeaDirk NowotkaDanny Bøgsted PoulsenPublished in: RP (2019)
Keyphrases
- nonlinear equations
- polynomial equations
- sat instances
- co occurrence
- algebraic equations
- sat solving
- sat encodings
- stochastic local search
- combinatorial optimization
- sat solvers
- search algorithm
- n gram
- np complete problems
- boolean optimization
- solving hard
- orders of magnitude
- mathematical model
- propositional satisfiability
- variable ordering
- graph coloring
- phase transition
- satisfiability problem
- linear equations
- sat problem
- numerical solution