Solving String Theories Involving Regular Membership Predicates Using SAT.
Mitja KulczynskiKevin LotzDirk NowotkaDanny Bøgsted PoulsenPublished in: SPIN (2022)
Keyphrases
- np complete problems
- stochastic local search
- sat problem
- sat solving
- satisfiability problem
- boolean satisfiability
- boolean optimization
- edit distance
- sat instances
- combinatorial optimization
- phase transition
- sat encodings
- data structure
- pattern matching
- symmetry breaking
- query language
- search algorithm
- modulo theories
- variable ordering
- genetic algorithm
- graph coloring
- string matching
- sat solvers
- search strategies
- theoretical framework
- np complete