@article {14929, title = {A New Approach for Compiling Boolean Functions}, volume = {ISR; TR 1985-39}, year = {1985}, month = {1985///}, institution = {Institute for Systems Research, University of Maryland, College Park}, abstract = {We propose a new approach for laying out Boolean functions which is based on extracting the symmetries of a given set of functions and applying optimization procedures especially tailored to exploit these symmetries. This paper establishes a rigorous foundation for this approach and shows that it will outperform existing methods for many classes of the functions. The different components of a newly developed system, SYMBL, will be briefly described.}, keywords = {Technical Report}, url = {http://drum.lib.umd.edu/handle/1903/4412}, author = {JaJa, Joseph F. and Wu,S. M.} }