Special functions(Mathematical) ; Optimization ; Mathematical logic ; Algebras ; Set theory ; Logic circuits ; Computer programs ; Theorems ; Algorithms;
机译:使用一阶邻域最小化布尔函数的算法
机译:不完全指定布尔函数系统最短多项式实现的快速算法
机译:使用遗传算法最小化布尔函数
机译:用于完全指定功能的快速布尔最小化器
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:用于完全指定函数的快速布尔最小化器
机译:一种利用蜂窝N型立方体特性进行快速布尔函数最小化的算法