On the query complexity of clique size and maximum satisfiability | IEEE Conference Publication | IEEE Xplore