Analysis of Phase Transitions in Graph-Coloring Problems Based on Constraint Structures. - Kazunori Mizuno; Atsuki Hayashimoto; Seiichi Nishihara (PRICAI, 2000)