A CHARACTERISTIC SET METHOD FOR SOLVING BOOLEAN EQUATIONS AND APPLICATIONS IN CRYPTANALYSIS OF STREAM CIPHERS
Fengjuan, Chai, Xiaoshan, Gao Gao, Chunming, Yuan · 系统科学与复杂性：英文版 · 2008
这篇论文为解决布尔方程论述一个典型集合方法，它是更有效的并且比一般典型集合方法有更好的性质。特别地，作者给一 disjoint 和 monic 为为一个布尔方程系统的解决方案的数字的一个布尔方程系统和一个明确的公式的零个集合的零个分解算法。作者也证明一个典型集合能以变量的数字与布尔多项式的增加的一个多项式数字被计算。作为实验，建议方法被用来基于非线性的过滤器生成器从流零的一个类的密码翻译法解决方程。广泛的实验证明方法是相当有效的。