极小不可满足性相关硕士博士期刊学术论文

极小不可满足性相关论文

通过一个适当的归约变换，可以将一个CNF（conjunctive normal form）公式变换为另一个具有某种特殊结构或性质的公式，使两者具有相同的可......

期刊