Decision diagram (DD) techniques are very popular in the electronic design automation (EDA) of integrated circuits, and for good reason. They can accurately sim

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basi

This work offers a unified presentation of the theory of binary polynomial transforms and details their numerous applications in nonlinear signal processing. Th

Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subjec

Discover applications of Fourier analysis on finite non-Abeliangroups The majority of publications in spectral techniques considerFourier transform on Abelian g