Mihalis Yannakakis Querying Weak Instances. 185-211 1986 3 Advances in Computing Research db/journals/acr/acr3.html#Yannakakis86