MAX+(k)公式集相关硕士博士期刊学术论文

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,......