退出
我的积分:
中文文献批量获取
外文文献批量获取
刘江; 周鸿昊;
中国科学院重庆绿色智能技术研究院高性能计算应用研究中心 重庆 400714;
中国科学院大学 北京 100049;
NP完全问题; 布尔可满足性问题; 1-in-3-SAT; XCNF; X-纯文字;
机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:蕴涵逻辑的递归布尔公式最小化算法
机译:具有一和零布尔吸光和发光分子的布尔代数的分子逻辑
机译:真图:一种使用图最小化布尔代数表达式的新方法
机译:布尔因子分析:矩阵分解和神经网络布尔因子分析的一种新方法的回顾。
机译:通过游戏化的实验逻辑评估神经认知:一种同时获取多个ERP的新方法
机译:一阶逻辑公式的布尔代数
机译:一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用
机译:可扩展,可并行化,模糊逻辑,布尔代数和基于乘法神经网络的分类器,数据挖掘,关联规则查找器和可视化软件工具
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。