...
机译:关于单调布尔公式的物业测试算法
Property testing; Monomial; Disjunctive normal form; Computational learning theory; Fourier analysis;
机译:关于单调布尔公式的属性测试算法
机译:关于单调布尔公式的可读性
机译:关于单调布尔公式的可读性
机译:布尔公式中单调谓词的最小集
机译:具有可见性属性的单调路径的算法。
机译:布尔网络的性质及其测试方法
机译:布尔公式中单调谓词的最小集