Lattice based computation of Boolean functions


ALTUN M. , Riedel M.

Proceedings of the 47th Design Automation Conference on - DAC '10, Anaheim, California, 13 - 18 June 2010