Even Faster Conflicts and Lazier Reductions for String Solvers.
Andres NötzliAndrew ReynoldsHaniel BarbosaClark W. BarrettCesare TinelliPublished in: CAV (2) (2022)
Keyphrases
- edit distance
- data structure
- resolving conflicts
- conflict resolution
- cooperative
- context free grammars
- string matching
- pattern matching
- sat solvers
- machine learning
- memory efficient
- resolve conflicts
- social networks
- learning algorithm
- information retrieval
- regular expressions
- variable length
- sat solving
- neural network