Exploring k-Colorability - Kia Kai Li (CoRR, 2007)