退出
我的积分:
中文文献批量获取
外文文献批量获取
周宇;
保密通信重点实验室;
布尔函数; 全局雪崩准则; 平方和指标; 绝对值指标;
机译:通过布尔函数分析求平方和边界
机译:嵌套插值分析函数的一种改进的可满足性算法及其在确定布尔网络单例吸引子中的应用
机译:嵌套插值分析函数的改进可满足性算法及其在确定布尔网络单例吸引子中的应用
机译:满足严格雪崩准则的平衡布尔函数研究
机译:通过特定于应用程序的处理来提高布尔可满足性。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:退缩注意:在最小的平衡布尔函数的平方和正方形指示符
机译:一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用
机译:布尔可满足性(SAT)的反函数方法
机译:布尔可满足性的反函数方法(SAT)
机译:用于匹配两个布尔函数的布尔匹配方法需要很少的内存来比较两个函数,同时为函数的所有输入计算值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。