The following pages link to (Q3680754):
Displaying 50 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- A method for minimizing Moore finite-state machines by merging two states (Q384661) (← links)
- Generation of full cycles by a composition of NLFSRs (Q398953) (← links)
- Local feature point extraction for quantum images (Q501132) (← links)
- A flexible representation of quantum images for polynomial preparation, image compression, and processing operations (Q632206) (← links)
- Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule (Q634260) (← links)
- A continuous approach to inductive inference (Q687090) (← links)
- An excursion in reaction systems: from computer science to biology (Q714816) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- The potential of fuzzy neural networks in the realization of approximate reasoning engines (Q869130) (← links)
- Modeling and integer programming techniques applied to propositional calculus (Q918954) (← links)
- Optimal complexity reduction of polyhedral piecewise affine systems (Q958262) (← links)
- Random sequence generation by cellular automata (Q1082817) (← links)
- Continuous reductions among combinatorial optimization problems (Q1112622) (← links)
- Polynomial-time algorithms for generation of prime implicants (Q1190532) (← links)
- Horn functions and their DNFs (Q1195858) (← links)
- Characterizing diagnoses and systems (Q1199913) (← links)
- Principles of logic optimization for a Moore microprogrammed automaton (Q1286278) (← links)
- Simplification in a satisfiability checker for VLSI applications (Q1312163) (← links)
- Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (Q1330807) (← links)
- Variable and term removal from Boolean formulae (Q1363769) (← links)
- Experimental comparison of decomposition methods for systems of Boolean function (Q1743029) (← links)
- Approximation techniques for hypergraph partitioning problems (Q1891922) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- Implementation of a fuzzy inference system using a normalized fuzzy neural network (Q1920302) (← links)
- Extracting reaction systems from function behavior (Q1982974) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Characterization and computation of ancestors in reaction systems (Q2157013) (← links)
- Minimization of mealy finite-state machines by internal states gluing (Q2263408) (← links)
- Computing AES related-key differential characteristics with constraint programming (Q2289026) (← links)
- Decomposing a system of Boolean functions into subsystems of connected functions (Q2290478) (← links)
- Optimization on the complementation procedure towards efficient implementation of the index generation function (Q2316478) (← links)
- Synthesizing cubes to satisfy a given intersection pattern (Q2355742) (← links)
- Fuzzy modelling through logic optimization (Q2382777) (← links)
- NEQR: a novel enhanced quantum representation of digital images (Q2436418) (← links)
- Algebraic methods for optimizing constant multiplications in linear systems (Q2477439) (← links)
- BerkMin: A fast and robust SAT-solver (Q2643301) (← links)
- A lattice-based approach to the problem of recruitment in multiagent systems (Q2857290) (← links)
- An Equivalence-Preserving Transformation of Shift Registers (Q2945083) (← links)
- Binary Decision Diagrams (Q3176365) (← links)
- A purely map procedure for two-level multiple-output logic minimization (Q3438797) (← links)
- SAT-Based Formula Simplification (Q3453233) (← links)
- Matching Integer Intervals by Minimal Sets of Binary Words with don’t cares (Q3506955) (← links)
- Decomposition-based logic synthesis for PAL-based CPLDs (Q3587067) (← links)
- ULM Implicants for Minimization of Univers Logic Module Circuits (Q4140884) (← links)
- Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes (Q4362281) (← links)
- The gene expression matrix: Towards the extraction of genetic network architectures (Q4377257) (← links)
- Dynamic processor allocation in scalable multiprocessors using boolean algebra<sup>*</sup> (Q4392332) (← links)
- (Q5109519) (← links)
