Solving String Constraints Using SAT.
Kevin LotzAmit GoelBruno DutertreBenjamin Kiesl-ReiterSoonho KongRupak MajumdarDirk NowotkaPublished in: CAV (2) (2023)
Keyphrases
- sat encodings
- pseudo boolean
- linear programming problems
- propositional satisfiability
- stochastic local search
- sat solving
- data structure
- constraint programming
- np complete problems
- sat instances
- pattern matching
- pseudo boolean constraints
- integer program
- sat solvers
- string matching
- combinatorial problems
- propositional logic
- finite domain
- combinatorial optimization
- dynamic constraint satisfaction problems
- suffix tree
- lagrange multipliers
- constraint solving
- global constraints
- regular expressions
- satisfiability problem
- distributed constraint optimization problems
- constraint satisfaction