Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
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
G. Ramalingam
Theoretical Computer Science
Fan Zhang, Junwei Cao, et al.
IEEE TETC
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking