Control-Flow Analysis with SAT Solvers.
Steven LydeMatthew MightPublished in: Trends in Functional Programming (2013)
Keyphrases
- flow analysis
- sat solvers
- orders of magnitude
- max sat
- sat problem
- information flow
- constraint satisfaction
- search space
- sat solving
- search tree
- boolean satisfiability
- search strategies
- sat instances
- clause learning sat solvers
- optimization problems
- propositional satisfiability
- co occurrence
- information retrieval
- weighted max sat