机译:用于识别和选择多输出布尔函数的质数蕴涵的算法
机译:具有长素数含义的布尔函数
机译:用于多输出不完全指定布尔函数的启发式AMD-OR-EXOR三级最小化算法
机译:多输出不完全指定布尔函数的启发式AND-OR-EXOR三级最小化算法
机译:一个脱离立方体,扩展了单独确定单输出布尔函数的基本主要血管性的问题的方法
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:用于多目标生物标志物发现的鲁棒选择算法(RSA);与功能网络分析集成以鉴定多种癌症中miRNA调控的途径
机译:计算对称布尔函数的最大素数的快速算法(计算复杂度和相关主题研究)
机译:多值逻辑函数最小化中的素数和非素数蕴涵