Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). - Michael Codish; Michael Frank 002; Amit Metodi; Morad Muslimany (ICLP (Technical Communications), 2017)

SAT-Based Big-Step Local Search. - Morad Muslimany; Michael Codish (SYNASC, 2018)