Kristoffer Arnsfelt Hansen Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates. 448-458 2007 conf/cocoon/2007 COCOON http://dx.doi.org/10.1007/978-3-540-73545-8_44 db/conf/cocoon/cocoon2007.html#Hansen07