“…From these results, one finds that the most effective algorithms are those that use vertex coloring for both bounding and branching like MCQ (Tomita & Seki, 2003), MCR (Tomita & Kameda, 2007), MCS (Tomita, Sutani, Higashi, Takahashi, & Wakatsuki, 2010), MaxCliqueDyn (Konc & Janežič, 2007) and BB-MaxClique (Segundo, Rodríguez-Losada, & Jiménez, 2011), and the MaxSAT based algorithms like MaxCLQ (Li & Quan, 2010). In Carmo & Züge (2012); Li & Quan (2010) and Tomita & Seki (2003), extensive comparisons are presented between the coloring based algorithm MCQ and some other algorithms before MCQ, like Cliquer (Östergård, 2002) and χ + DF (Fahle, 2002), disclosing that MCQ is superior on a wide range of DIMACS instances. Table 3: Performance comparison of 10 stat-of-art exact MCP algorithms on 35 popular DIMACS instances.…”