A Pruning Procedure for Exact Graph Coloring.

Thomas J. Sager Shi-Jen Lin

Published in: INFORMS J. Comput. (1991)

Keyphrases

graph coloring
combinatorial problems
job shop scheduling
phase transition
constraint satisfaction problems
np complete problems
search space
constraint programming
max sat
search algorithm
hamiltonian cycle
graph model