1950
6 works on record
Switching theory for logic synthesis
1999
Memory-based logic synthesis
Logic synthesis and optimization
Representations of discrete functions
Logic synthesis and verification
Progress in applications of Boolean functions
