Proving graph un-colorability with a consistency check of CSP | IEEE Conference Publication | IEEE Xplore