Sui-Xiang Gao;Xiao-Dong Hu;Weili Wu
Chinese Academy of Sciences, Republic of China;Chinese Academy of Sciences, Republic of China;Univ. of Minnesota, Minneapolis
Rivest-Vuillemin conjecture is true for monotone boolean functions with twelve variables
Discrete Mathematics