Boolean functions theory, algorithms, and applications - Crama, Yves 1958- (Cambridge University Press, 2011)