LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem.
Junping ZhouJiaxin LiangMinghao YinBo HePublished in: SAT (2023)
Keyphrases
- search algorithm
- branch and bound
- query processing
- branch and bound algorithm
- upper bound
- combinatorial optimization
- heuristic search
- sat solvers
- satisfiability problem
- search strategy
- scoring function
- sat problem
- result set
- search space
- highly relevant
- search methods
- selection algorithm
- search tree
- probabilistic xml
- genetic algorithm
- search procedure
- search strategies
- orders of magnitude
- max sat
- lower bound
- data sets
- block max
- keyword search in relational databases