关键词中包括 upper bounds for minimum two锟斤拷锟斤拷锟斤拷satisfiability 的文章