Verifiable random functions with Boolean function constraints.
Qianwen WangRongquan FengYan ZhuPublished in: Sci. China Inf. Sci. (2018)
Keyphrases
- boolean functions
- randomly generated
- bi decomposition
- monotone boolean functions
- uniform distribution
- functional properties
- linear functions
- disjunctive normal form
- multi valued
- relevant variables
- statistical queries
- constraint satisfaction
- pseudo boolean functions
- membership queries
- lower bound
- pac learning
- classification noise
- polynomial size
- decision trees
- constraint programming
- state space
- search algorithm
- objective function
- bayesian networks