History-Aware Data Structure Repair Using SAT.
Razieh Nokhbeh ZaeemDivya GopinathSarfraz KhurshidKathryn S. McKinleyPublished in: TACAS (2012)
Keyphrases
- data structure
- satisfiability problem
- data types
- propositional satisfiability
- sat problem
- search algorithm
- index structure
- stochastic local search
- tree structure
- search strategies
- sat solvers
- max sat
- damage assessment
- r tree
- efficient data structures
- variable ordering
- space efficient
- quadtree
- itemsets
- scheduling problem
- computational complexity