PALMINI—fast Boolean minimizer for personal computers
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Logic synthesis for vlsi design
Logic synthesis for vlsi design
Cube-packing and two-level minimization
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Cluster-cover: a theoretical framework for a class of VLSI-CAD optimization problems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
BOOM: a heuristic boolean minimizer
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Large-scale SOP minimization using decomposition and functional properties
Proceedings of the 40th annual Design Automation Conference
Implicit manipulation of polynomials using zero-suppressed BDDs
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Effective bounding techniques for solving unate and binate covering problems
Proceedings of the 42nd annual Design Automation Conference
Checking the satisfiability of formulas represented in disjunctive normal form in the language L. II
Cybernetics and Systems Analysis
The decomposition tree for analyses of boolean functions
Mathematical Structures in Computer Science
Journal of Artificial Intelligence Research
An exact method to compute maximal implicants in a multivalued logic
ICOSSE'06 Proceedings of the 5th WSEAS international conference on System science and simulation in engineering
The bacterial strains characterization problem
Proceedings of the 2011 ACM Symposium on Applied Computing
Modeling and synthesis of quality-energy optimal approximate adders
Proceedings of the International Conference on Computer-Aided Design
Proceedings of the 4th ACM conference on Data and application security and privacy
Approximate logic synthesis under general error magnitude and frequency constraints
Proceedings of the International Conference on Computer-Aided Design
| Hi-index | 0.00 |