机译:计算对称布尔函数的最大素数的快速算法(计算复杂度和相关主题研究)
机译:用于识别和选择多输出布尔函数的质数蕴涵的算法
机译:基于新的偏序运算规则的精确直接覆盖算法快速计算素数蕴涵
机译:具有长素数含义的布尔函数
机译:一个脱离立方体,扩展了单独确定单输出布尔函数的基本主要血管性的问题的方法
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:酵母细胞凋亡布尔模型作为研究酵母和人类细胞凋亡调控的工具
机译:通过立方表示形式的布尔函数的素数和基本素数蕴涵