Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring.
Carmine DodaroDavide IlardiLuca OnetoFrancesco RiccaPublished in: LPNMR (2022)
Keyphrases
- answer set programming
- deep learning
- graph coloring
- hyper heuristics
- logic programs
- logic programming
- answer sets
- genetic programming
- job shop scheduling
- combinatorial problems
- evolutionary algorithm
- unsupervised learning
- phase transition
- machine learning
- difficult problems
- constraint satisfaction problems
- timetabling problem
- search algorithm
- search procedure
- heuristic search
- metaheuristic
- weakly supervised
- scheduling problem
- max sat
- mental models
- constraint satisfaction
- information retrieval
- programming language
- knowledge representation
- genetic algorithm