Michael Codish, Michael Frank 0002, Amit Metodi, Morad Muslimany. Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). In Ricardo Rocha 0001, Tran Cao Son, Christopher Mears, Neda Saeedloei, editors, Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. Volume 58 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.