Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications, Band 142)