A Composition Algorithm for Very Hard Graph 3-Colorability Instances. - Seiichi Nishihara; Kazunori Mizuno; Kohsuke Nishihara (CP, 2003)