...
机译:多值参数的二进制函数最小化条件下不变变量的变换
disjunctive normal forms; binary functions of multivalued arguments; k-valued logic; functions with few zeros; complexity of disjunctive normal forms; invariant transformations of variables;
机译:多值参数的二进制函数最小化条件下不变变量的变换
机译:基于变量线性变换的二元决策图最小化的近似算法
机译:最小化两变量多值输入二进制输出函数的ESCT形式
机译:从二进制可执行文件恢复变量参数函数
机译:多值逻辑和二进制逻辑计算机系统的性能比较
机译:连续函数空间中一参数连续变换组下的泛函不变量
机译:双不变函数在转换组上留下测量准不变