Richard Chang On the Query Complexity of Clique Size and Maximum Satisfiability. 31-42 1994 Structure in Complexity Theory Conference db/conf/coco/coco94.html#Chang94