[计]?反驳

...nalysis, Boolean formula, 3CNF, refutation, [gap=322]关键词和短语：证明的复杂性，一般情况下分析，布尔公式，3CNF，反驳， ...

?辩驳

... refutable 可驳倒的；容易驳倒的 refutation 反驳；驳斥；辩驳 refute 反驳，驳斥；驳倒 ...

?驳斥

...有一个有限个数元素的子句集合(记作) S 并且S中不含有变数(符号),如果S是不可满足的集合，那么S必定拥有一个 驳斥 ( Refutation ) b) 驳斥 ( Refutation )的定义: 一个子句集合S的 驳斥 是一个通过应用衍生方法产生的一系列子句

?反证

... refringence折射 refutation反证 REGRangeExtenderwithGain与增益同步的量程扩展器 ...