Analyzing Boolean Functions via Solving Parametric Polynomial Systems.

Zhenyu Huang Yao Sun Dongdai Lin

Published in: J. Syst. Sci. Complex. (2021)

Keyphrases

boolean functions
randomly generated
uniform distribution
dnf formulas
threshold functions
relational databases
constraint satisfaction
linear threshold
polynomial size