On the Complexity of Computing a Random Boolean Function Over the Reals.

Published in: Theory Comput. (2020)

Keyphrases

boolean functions
randomly generated
relevant variables
polynomial size
uniform distribution
membership queries
computational complexity
worst case
binary decision diagrams
functional decomposition
monotone boolean functions
pseudo boolean functions
objective function
search algorithm
first order logic