子集可满足性的英文_子集可满足性翻译_子集可满足性英语怎么说