Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
The C programming language
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Boolean Matrix Transforms for the Minimization of Modulo-2 Canonical Expansions
IEEE Transactions on Computers
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
ASP-DAC '95 Proceedings of the 1995 Asia and South Pacific Design Automation Conference
Generalized Reed-Muller Forms as a Tool to Detect Symmetries
IEEE Transactions on Computers
Multilevel logic synthesis for arithmetic functions
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Fast OFDD-Based Minimization of Fixed Polarity Reed-Muller Expressions
IEEE Transactions on Computers
Boolean Functions Classification via Fixed Polarity Reed-Muller Forms
IEEE Transactions on Computers
Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis
Logic Synthesis and Optimization
Logic Synthesis and Optimization
Spectral Techniques in Digital Logic
Spectral Techniques in Digital Logic
A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions
IEEE Transactions on Computers
Hi-index | 0.00 |