Sui-Xiang Gao;Weili Wu;Ding-Zhu Du;Xiao-Dong Hu
-;-;-;-
Rivest-Vuillemin conjecture is true for monotone boolean functions with twelve variables
Discrete Mathematics