On the query complexity of clique size and maximum satisfiability
scientific article; zbMATH DE number 950755