Lattice-Based Computation of Boolean Functions Mustafa Altun and Marc Riedel University of Minnesota.