David A. Selby
IBM J. Res. Dev
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.
David A. Selby
IBM J. Res. Dev
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Reena Elangovan, Shubham Jain, et al.
ACM TODAES