Proving Graph Un-Colorability with a Consistency Check of CSP.

Jean-Nicolas Bs, Philippe Jgou

Browse the full ICTAI paper archive.