-colorability.

Paul Beame Joseph C. Culberson David G. Mitchell Cristopher Moore

Published in: Discret. Appl. Math. (2005)

Keyphrases

phase transition
cellular automata
constraint satisfaction
lower bound
optimal solution
computational complexity