机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:嵌套插值分析函数的一种改进的可满足性算法及其在确定布尔网络单例吸引子中的应用
机译:嵌套插值分析函数的改进可满足性算法及其在确定布尔网络单例吸引子中的应用
机译:具有良好密码学性质的布尔函数构建的免疫算法范例
机译:使用蒙特卡洛方法搜索布尔可满足性问题的硬变体的分区
机译:电子设计应用中的布尔可满足性算法
机译:基于布尔可满足性的遗传调节网络并行吸引子查找算法
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:广义布尔函数的相关免疫,雪崩特征和其他密码属性。