scientific article; zbMATH DE number 1294428

Cited in

(35)

scientific article; zbMATH DE number 3248547 (Why is no real title available?)
scientific article; zbMATH DE number 3880596 (Why is no real title available?)
Synthesis of multilevel Boolean networks
Literal Selection in Switching Lattice Design
Advanced logic synthesis
scientific article; zbMATH DE number 3309214 (Why is no real title available?)
On the properties of directed switching networks
Switching and Finite Automata Theory
Logic Synthesis for Switching Lattices
scientific article; zbMATH DE number 811541 (Why is no real title available?)
The landscape of computing symmetric \(n\)-variable functions with \(2n\) cards
Redundancy and Don't Cares in Logic Synthesis
CDCL-Based Abstract State Transition System for Coherent Logic
New data structures and algorithms for logic synthesis and verification
Uncovering deterministic causal structures: a Boolean approach
Minimizing ESCT forms for two-variable multiple-valued input binary output functions
scientific article; zbMATH DE number 3871193 (Why is no real title available?)
Bi-decomposition of multi-valued logical functions and its applications
Compact DSOP and partial DSOP forms
Comparative study of serial and parallel heuristics used to design combinational logic circuits
Results of the Synthesis of Optimal Networks of AND and OR Gates for Four-Variable Switching Functions
Switching theory. Insight through predicate logic
scientific article; zbMATH DE number 273668 (Why is no real title available?)
Matrix and combinatorics solutions of Boolean differential equations
scientific article; zbMATH DE number 918600 (Why is no real title available?)
scientific article; zbMATH DE number 3557674 (Why is no real title available?)
scientific article; zbMATH DE number 1201684 (Why is no real title available?)
Upper bounds on the multiplicative complexity of symmetric Boolean functions
Global view on reactivity: switch graphs and their logics
Logic Circuit Design
scientific article; zbMATH DE number 3503129 (Why is no real title available?)
Simulation and Implication Using a Transfer Function Model for Switching Logic
A generalized if-then-else operator for the representation of multi-output functions
Drill and join: a method for exact inductive program synthesis
Synthesis of autosymmetric functions in a new three-level form

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 Q4246565)