Skip to search formSkip to main contentSkip to account menu

Boolean circuit

Known as: Boolean, Boolean circuits, Circuit 
In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for digital logic circuits. A formal language… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AC (complexity)AND gateAdder (electronics)Advice (complexity)

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A data-driven method for quantifying the impact of a genetic circuit on its host
Genetic circuits aredesigned to implement certain logic in living cells, keeping burden on the host cell minimal. However… 
Review
2013
Review
2013
Intuitionistic fuzzy filter theory of BL-algebras
In this paper, the intuitionistic fuzzy filter theory of BL-algebras is researched. The basic knowledge of BL-algebras and… 
Highly Cited
2012
Highly Cited
2012
New Methodology for the Design of Efficient Binary Addition Circuits in QCA
The quantum-dot cellular automata (QCA) approach is an attractive emerging technology suitable for the development of ultradense… 
2005
2005
On Global Dynamic Behavior of Weakly Connected Oscillatory Networks
The global dynamics of weakly connected oscillatory networks is investigated: as a case study, one-dimensional arrays of third… 
Review
2005
Review
2005
A survey on piecewise-linear models of regulatory dynamical systems
2004
2004
Genetic algorithm based synthesis of multi-output ternary functions using quantum cascade of generalized ternary gates
Ternary quantum circuits have recently been introduced to help reduce the size of multi-valued logic for multi-level quantum… 
Highly Cited
1998
Highly Cited
1998
DNA simulation of boolean circuits
In this paper we describe a simulation of Boolean circuits using standard bio-molecular techniques. Previously proposed… 
1993
1993
Parametric Circuit Representation Using Inductive Boolean Functions
We have developed a methodology based on symbolic manipulation of inductive Boolean functions (IBFs) for formal verification of… 
Highly Cited
1992
Highly Cited
1992
Equivalence of robust delay-fault and single stuck-fault test generation
A link between the problems of robust delay-fault and single stuck-fault test generation is established. In particular, it is… 
1965
1965
Synthesis of Minimal Threshold Logic Networks
An algorithm is developed for synthesizing networks which realize Boolean switching functions through the use of a minimum number… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)