Graph Colouring Various Models. an obvious model SAT sets demo random graphs chromatic number maxCol phase transition.
Graph Colouring