Abstract
It is shown that the monotone formula-size complexity of the monotone symmetric functions on n variables can be bounded above by a function of order O(n5.3).

This publication has 2 references indexed in Scilit: