Boolean functions; decision diagrams; logic design; Boolean function reduct; digital circuits; ordered pairs; ordered pair; prime; reduct;
机译:用于识别和选择多输出布尔函数的质数蕴涵的算法
机译:基于表格方法的布尔函数系统功能分解的输入变量划分算法
机译:基于矩阵乘法和指纹函数的布尔网络及相关生物网络识别算法
机译:基于素数的布尔函数归约算法
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:计算对称布尔函数的最大素数的快速算法(计算复杂度和相关主题研究)
机译:基于图的布尔函数操作算法