Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).
Michael CodishMichael FrankAmit MetodiMorad MuslimanyPublished in: ICLP (Technical Communications) (2017)
Keyphrases
- logic programming
- graph coloring
- logic programs
- answer set programming
- programming language
- knowledge base
- phase transition
- logic programming language
- knowledge representation
- combinatorial problems
- answer sets
- constraint satisfaction problems
- job shop scheduling
- high level
- hyper heuristics
- max sat
- scheduling problem
- relational databases
- constraint programming
- constraint satisfaction
- metaheuristic
- linear programming
- data model
- search algorithm