Graph Coloring and Reverse Mathematics.

James H. Schmerl

Published in: Math. Log. Q. (2000)

Keyphrases

graph coloring
combinatorial problems
job shop scheduling
phase transition
np complete problems
constraint satisfaction problems
hamiltonian cycle
max sat
scheduling problem
hyper heuristics
metaheuristic
constraint satisfaction
constraint programming
genetic algorithm