Steven Homer Marcus Peinado Experiments with polynomial-time CLIQUE approximation algorithms on very large graphs. 147-167 1993 Cliques, Coloring, and Satisfiability conf/dimacs/dimacs26 db/conf/dimacs/dimacs26.html#HomerP93 https://doi.org/10.1090/dimacs/026/09