non-tautology 相关硕士博士期刊学术论文

一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字.NT-HIT(k)是公式的子句数与变元数之差为k......