- Noise stability on the Boolean hypercube via a renormalized Brownian motion
2022/08/12 by Ronen Eldan, Dan Mikulincer, Eldan, Ronen +3 · 1 citation
Decision Sciences · Mathematics · #Advanced Statistical Process Monitoring #Boolean expression #Boolean function #Brownian motion #Computer science #Conjecture #Discrete mathematics #FOS: Computer and information sciences #FOS: Mathematics #Fractional Brownian motion #Function (biology) #Functional Analysis (math.FA) #Hypercube #Information Theory (cs.IT) #Logarithm #Mathematical analysis #Mathematics #Noise (video) #Parity function #Polynomial #Probability (math.PR) #Pure mathematics #Space (punctuation) #Stability (learning theory)
- A Polynomial Time Bounded-error Quantum Algorithm for Boolean\n Satisfiability
2015/07/16 by Ahmed Younes, Jonathan E. Rowe, Younes, Ahmed +1 · 1 voice
Computer Science · Mathematics · #Algebra over a field #Algorithm #Boolean expression #Boolean function #Boolean satisfiability problem #Bounded function #Combinatorics #Computability, Logic, AI Algorithms #Computer science #Discrete mathematics #Mathematics #Maximum satisfiability problem #Product term #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Time complexity #True quantified Boolean formula #Two-element Boolean algebra #cs.CC #cs.DS
- 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
- Maximum nonlinearity of symmetric Boolean functions on odd number of variables
2002/09/01 by S. Maitra, Subhamoy Maitra, P. Sarkar +1 · 4 citations
Computer Science · Engineering · Mathematics · #Boolean expression #Boolean function #Cellular Automata and Applications #Coding theory and cryptography #Combinatorics #Discrete mathematics #Function (biology) #Mathematics #Nonlinear system #Parity function #Physics #Quantum mechanics #Statistics #Symmetric function #Value (mathematics) #graph theory and CDMA systems
- 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
- A linear-time algorithm for testing the truth of certain quantified boolean formulas
1979/03/01 by Bengt Aspvall, Michael F. Plass, Robert Endre Tarjan +1 · 12 citations
Computer Science · Mathematics · #Algorithm #Boolean expression #Boolean function #Complexity and Algorithms in Graphs #Computer science #Formal Methods in Verification #Machine Learning and Algorithms #Mathematics #Theoretical computer science #Time complexity #True quantified Boolean formula #Truth table