Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).

Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany

Browse the full ICLP paper archive.