G. Ramalingam
Theoretical Computer Science
Paper
An explicit construction of short monotone formulae for the monotone symmetric functions
Abstract
We construct formulae that assume the value 1 when and only when at least k of their n variables assume the value 1, using only conjunction and disconjunction, and having (for any fixed k) only O(nlogn) k 2log*n occurences of variables. © 1978.
Related
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems