scientific article; zbMATH DE number 3902554
From MaRDI portal
Publication:3680754
zbMATH Open0565.94020MaRDI QIDQ3680754FDOQ3680754
Authors: Gary D. Hachtel, Curtis T. McMullen, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
VLSI circuitsVLSI designcombinational circuitminimization algorithmslogic designProgrammable Logic Arraysmultiple-valued logic functionsPLAautomated logic minimizationESPRESSO-IIminimization of logic functionsVLSI optimization programs
Cited In (66)
- Matching Integer Intervals by Minimal Sets of Binary Words with don’t cares
- Nonlinear Codes for Test Patterns Compression: The Old School Way
- Title not available (Why is that?)
- Hardware implementation of code converters designed to reduce the length of binary encoded words
- Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
- The gene expression matrix: Towards the extraction of genetic network architectures
- Dynamic processor allocation in scalable multiprocessors using boolean algebra*
- Feature necessity \& relevancy in ML classifier explanations
- Distinguisher and related-key attack on HALFLOOP-96
- Extracting reaction systems from function behavior
- SAT-Based Formula Simplification
- A purely map procedure for two-level multiple-output logic minimization
- Computing AES related-key differential characteristics with constraint programming
- Fuzzy modelling through logic optimization
- Generation of full cycles by a composition of NLFSRs
- A continuous approach to inductive inference
- A multiple-valued logic approach to the design and verification of hardware circuits
- Optimal complexity reduction of polyhedral piecewise affine systems
- BerkMin: A fast and robust SAT-solver
- Local feature point extraction for quantum images
- Decomposing a system of Boolean functions into subsystems of connected functions
- A flexible representation of quantum images for polynomial preparation, image compression, and processing operations
- ULM Implicants for Minimization of Univers Logic Module Circuits
- An excursion in reaction systems: from computer science to biology
- An Equivalence-Preserving Transformation of Shift Registers
- Horn functions and their DNFs
- Continuous reductions among combinatorial optimization problems
- Title not available (Why is that?)
- Optimal symmetry breaking for graph problems
- Synthesizing cubes to satisfy a given intersection pattern
- Random sequence generation by cellular automata
- Two-level logic minimization: an overview
- Title not available (Why is that?)
- Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach
- Variable and term removal from Boolean formulae
- Approximation techniques for hypergraph partitioning problems
- Running time experiments on some algorithms for solving propositional satisfiability problems
- Partially unate Boolean functions: properties of their sum-of-products representations
- The potential of fuzzy neural networks in the realization of approximate reasoning engines
- Minimization of mealy finite-state machines by internal states gluing
- Title not available (Why is that?)
- Optimization on the complementation procedure towards efficient implementation of the index generation function
- FSM Encoding for BDD Representations
- Input Variable Assignment and Output Phase Optimization of PLA's
- Algebraic methods for optimizing constant multiplications in linear systems
- Simplification in a satisfiability checker for VLSI applications
- Implementation of a fuzzy inference system using a normalized fuzzy neural network
- Characterization and computation of ancestors in reaction systems
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Polynomial-time algorithms for generation of prime implicants
- Characterizing diagnoses and systems
- NEQR: a novel enhanced quantum representation of digital images
- Decomposition-based logic synthesis for PAL-based CPLDs
- Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule
- The Decomposition Tree for analyses of Boolean functions
- Principles of logic optimization for a Moore microprogrammed automaton
- Enhancing probabilistic model checking with ontologies
- Title not available (Why is that?)
- Binary Decision Diagrams
- Computing preimages and ancestors in reaction systems
- A lattice-based approach to the problem of recruitment in multiagent systems
- A method for minimizing Moore finite-state machines by merging two states
- Compact DSOP and partial DSOP forms
- An Algorithm to Derive the Complement of a Binary Function with Multiple-Valued Inputs
- Modeling and integer programming techniques applied to propositional calculus
- Experimental comparison of decomposition methods for systems of Boolean function
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680754)
