Two-goal Local Search and Inference Rules for Minimum Dominating Set.
Shaowei CaiWenying HouYiyuan WangChuan LuoQingwei LinPublished in: IJCAI (2020)
Keyphrases
- inference rules
- dominating set
- connected dominating set
- facility location problem
- logical framework
- modal logic
- sequent calculus
- theorem prover
- first order logic
- combinatorial optimization
- search algorithm
- simulated annealing
- conditional probabilities
- search space
- tabu search
- genetic algorithm
- learning algorithm
- labeled data
- supervised learning
- optimal solution
- bayesian networks
- set of inference rules