- Boolean Functions
2011/05/16 by Yves Crama, Peter L. Hammer · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Algorithm #Boolean circuit #Boolean expression #Boolean function #Boolean network #Boolean satisfiability problem #Circuit minimization for Boolean functions #Computer science #Conjunctive normal form #Disjunctive normal form #Field (mathematics) #Implicant #Mathematics #Maximum satisfiability problem #Product term #Pure mathematics #Theoretical computer science #Two-element Boolean algebra
- The monotone circuit complexity of boolean functions
1987/03/01 by Noga Alon, Ravi B. Boppana · 6 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Boolean circuit #Boolean function #Circuit complexity #Clique #Combinatorics #Complexity and Algorithms in Graphs #Discrete mathematics #Electronic circuit #Exponential function #Function (biology) #Graph #Machine Learning and Algorithms #Mathematical analysis #Mathematics #Monotone polygon #Upper and lower bounds
- Graph-Based Algorithms for Boolean Function Manipulation
1986/08/01 by Bryant · 198 citations
Computer Science · Engineering · Mathematics · #Algorithm #And-inverter graph #Boolean circuit #Boolean function #Computer science #Exponential function #Formal Methods in Verification #Graph #Low-power high-performance VLSI design #Mathematics #Theoretical computer science #VLSI and Analog Circuit Testing
- Exponential lower bounds for restricted monotone circuits
1983/01/01 by Leslie G. Valiant · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · Computer Science · Mathematics · #Protein Degradation and Inhibitors #Low-power high-performance VLSI design #semigroups and automata theory #Monotone polygon #Boolean circuit #Mathematics #Boolean function #Discrete mathematics #Exponential function #Constant (computer programming) #Electronic circuit #Node (physics) #Graph #Combinatorics #Parity function #Exponential growth #Computer science #Boolean expression #Mathematical analysis