极小不可满足公式

判定问题的复杂性论文-李培培
导读:本文包含了判定问题的复杂性论文开题报告文献综述及选题提纲参考文献，主要关键词:线性公式,满足性,NP-完全性,极小不可满足公式判定问题的复杂性论文文献综述李培培[1]（2...