Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Boolean matching in logic synthesis
EURO-DAC '92 Proceedings of the conference on European design automation
Efficient Boolean function matching
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Fast OFDD based minimization of fixed polarity Reed-Muller expressions
EURO-DAC '94 Proceedings of the conference on European design automation
Boolean matching for incompletely specified functions
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Using BDDs to design ULMs for FPGAs
Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays
Combined spectral techniques for Boolean matching
Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays
Generalized Reed-Muller Forms as a Tool to Detect Symmetries
IEEE Transactions on Computers
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
Library based technology mapping using multiple domain representations
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
On the Expressive Power of OKFDDs
Formal Methods in System Design
A survey of Boolean matching techniques for library binding
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Using Decision Diagrams to Design ULMs for FPGAs
IEEE Transactions on Computers
On Variable Ordering and Decomposition Type Choice in OKFDDs
IEEE Transactions on Computers
Generalized symmetries in boolean functions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
How many decomposition types do we need? [decision diagrams]
EDTC '95 Proceedings of the 1995 European conference on Design and Test
A genetic algorithm for decomposition type choice in OKFDDs
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Symmetry detection for incompletely specified functions
Proceedings of the 41st annual Design Automation Conference
Performance analysis of a greedy algorithm for inferring boolean functions
Information Processing Letters
K-disjointness paradigm with application to symmetry detection for incompletely specified functions
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A Graph-Based Unified Technique for Computing and Representing Coefficients over Finite Fields
IEEE Transactions on Computers
Performance analysis of a greedy algorithm for inferring Boolean functions
Information Processing Letters
Hi-index | 0.02 |