On Solving Word Equations Using SAT.
Joel D. DayThorsten EhlersMitja KulczynskiFlorin ManeaDirk NowotkaDanny Bøgsted PoulsenPublished in: CoRR (2019)
Keyphrases
- nonlinear equations
- stochastic local search
- polynomial equations
- np complete problems
- algebraic equations
- satisfiability problem
- sat instances
- sat solving
- sat encodings
- graph coloring
- gauss seidel method
- n gram
- weighted max sat
- mathematical model
- co occurrence
- search algorithm
- davis putnam logemann loveland
- stochastic local search algorithms
- variable ordering
- word pairs
- word recognition
- differential equations
- natural language processing