没有找到引用Finding hard instances of the satisfiability problem: A survey.的文章。