Joseph C. Culberson Yong Gao Calin Anton Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search. 78-83 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/1308.pdf db/conf/ijcai/ijcai2005.html#CulbersonGA05