关键词中包括 upper bounds for minimum twosatisfiability 的文章