中国科学院数学与系统科学研究院期刊网
Analyzing Boolean Functions via Solving Parametric Polynomial Systems
HUANG Zhenyu · SUN Yao · LIN Dongdai
Analyzing Boolean Functions via Solving Parametric Polynomial Systems
HUANG Zhenyu · SUN Yao · LIN Dongdai
Journal of Systems Science and Complexity . 2021, (2): 792 -808 .  DOI: 10.1007/s11424-020-9216-7