scientific article; zbMATH DE number 3902554
From MaRDI portal
Publication:3680754
Recommendations
Cited in
(77)- Random sequence generation by cellular automata
- Continuous reductions among combinatorial optimization problems
- Polynomial-time algorithms for generation of prime implicants
- Horn functions and their DNFs
- Characterizing diagnoses and systems
- Principles of logic optimization for a Moore microprogrammed automaton
- Simplification in a satisfiability checker for VLSI applications
- A method for minimization design of two-level-logic networks using multiplexer universal logic modules
- 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
- Experimental comparison of decomposition methods for systems of Boolean function
- Approximation techniques for hypergraph partitioning problems
- Running time experiments on some algorithms for solving propositional satisfiability problems
- Implementation of a fuzzy inference system using a normalized fuzzy neural network
- Extracting reaction systems from function behavior
- Optimal symmetry breaking for graph problems
- Enhancing probabilistic model checking with ontologies
- Characterization and computation of ancestors in reaction systems
- Minimization of mealy finite-state machines by internal states gluing
- Computing AES related-key differential characteristics with constraint programming
- Decomposing a system of Boolean functions into subsystems of connected functions
- Optimization on the complementation procedure towards efficient implementation of the index generation function
- Synthesizing cubes to satisfy a given intersection pattern
- Fuzzy modelling through logic optimization
- NEQR: a novel enhanced quantum representation of digital images
- Algebraic methods for optimizing constant multiplications in linear systems
- BerkMin: A fast and robust SAT-solver
- A multiple-valued logic approach to the design and verification of hardware circuits
- A lattice-based approach to the problem of recruitment in multiagent systems
- An Equivalence-Preserving Transformation of Shift Registers
- scientific article; zbMATH DE number 4133829 (Why is no real title available?)
- Binary decision diagrams
- An Algorithm to Derive the Complement of a Binary Function with Multiple-Valued Inputs
- Input Variable Assignment and Output Phase Optimization of PLA's
- scientific article; zbMATH DE number 3871193 (Why is no real title available?)
- A purely map procedure for two-level multiple-output logic minimization
- SAT-Based Formula Simplification
- Matching Integer Intervals by Minimal Sets of Binary Words with don’t cares
- Decomposition-based logic synthesis for PAL-based CPLDs
- scientific article; zbMATH DE number 3906401 (Why is no real title available?)
- A method for minimizing Moore finite-state machines by merging two states
- Compact DSOP and partial DSOP forms
- Generation of full cycles by a composition of NLFSRs
- ULM Implicants for Minimization of Univers Logic Module Circuits
- Two-level logic minimization: an overview
- 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*
- ESCT minimization for incompletely specified functions
- scientific article; zbMATH DE number 910866 (Why is no real title available?)
- Local feature point extraction for quantum images
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- Nonlinear Codes for Test Patterns Compression: The Old School Way
- FSM Encoding for BDD Representations
- The Decomposition Tree for analyses of Boolean functions
- Computing preimages and ancestors in reaction systems
- Hardware implementation of code converters designed to reduce the length of binary encoded words
- Partially unate Boolean functions: properties of their sum-of-products representations
- Exact Synthesis of ESOP Forms
- A flexible representation of quantum images for polynomial preparation, image compression, and processing operations
- Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule
- Feature necessity \& relevancy in ML classifier explanations
- Distinguisher and related-key attack on HALFLOOP-96
- Feature necessity and relevancy in machine learning explanations
- A continuous approach to inductive inference
- Exploring the optimal differential characteristics of SM4. Improving automatic search by including human insights
- Gröbner bases for Boolean function minimization
- An efficient ESOP minimization-based quantum image encryption scheme using chaotic quantum substitution and permutation boxes
- Cnf characterization of sets over \(\mathbb{Z}_2^n\) and its applications in cryptography
- Operads for complex system design specification, analysis and synthesis
- An excursion in reaction systems: from computer science to biology
- Title not available (Why is no real title available?)
- Efficient algorithm for generating optimal inequality candidates for MILP modeling of Boolean functions
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- The potential of fuzzy neural networks in the realization of approximate reasoning engines
- Modeling and integer programming techniques applied to propositional calculus
- Optimal complexity reduction of polyhedral piecewise affine systems
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)
