Hamiltonian Cycle Reconfiguration with Answer Set Programming.
Takahiro HirateMutsunori BanbaraKatsumi InoueXiao-Nan LuHidetomo NabeshimaTorsten SchaubTakehide SohNaoyuki TamuraPublished in: JELIA (2023)
Keyphrases
- hamiltonian cycle
- answer set programming
- traveling salesman problem
- logic programs
- logic programming
- answer sets
- phase transition
- graph coloring
- answer set programs
- knowledge representation
- stable model semantics
- artificial intelligence
- combinatorial problems
- genetic algorithm
- constraint satisfaction
- search algorithm
- modulo theories