Boolean functions; Software; Logic gates; Logic circuits; Electronic learning;
机译:简化布尔函数的ROBDD参数估计
机译:使用二进制决策技术和遗传算法简化布尔函数的AND-EXOR表示的符号方法
机译:布尔函数的两级简化方法
机译:B-Learning在布尔函数简化的教学学习中
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:更正:通过布尔函数网络探索酿酒酵母的候选生物学功能
机译:简化布尔函数的新方法