Text this: Boolean functions theory, algorithms, and applications / Yves Crama, Peter L. Hammer. [electronic resource] :