Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
Irumi SugimoriKatsumi InoueHidetomo NabeshimaTorsten SchaubTakehide SohNaoyuki TamuraMutsunori BanbaraPublished in: CoRR (2024)
Keyphrases
- combinatorial optimization
- answer set programming
- logic programming
- metaheuristic
- logic programs
- traveling salesman problem
- simulated annealing
- answer sets
- combinatorial optimization problems
- branch and bound algorithm
- combinatorial search
- combinatorial problems
- search space
- constraint logic programming
- branch and bound
- search algorithm
- optimization problems
- haplotype inference
- causal theories
- search methods
- answer set programs
- exact algorithms
- disjunctive logic programming
- search strategy
- search strategies
- ant colony optimization
- knowledge base
- stable model semantics
- update semantics
- tabu search
- cost function
- expert systems
- max flow min cut