Everything about Boolean expression

🧭 Start here: a 6-step reading path

1. Read the overview: Boolean expressionA 5-minute orientation
2. Skim a recent paper: LogBTF: gene regulatory network inference using Boolean threshold network model from single-cell gene expression dataInfluential work since 2022
3. Pick up a classic book: Java software solutionsThe most-reprinted book on the subject
4. Read the landmark paper: BTR: training asynchronous Boolean models using single-cell expression dataCited 74 times
5. Go sideways: Short-circuit evaluationA closely related topic
6. Go sideways: Boolean data typeA closely related topic

🏆 Landmark papers (most cited)

• BTR: training asynchronous Boolean models using single-cell expression data

  Chee Yee Lim, Huange Wang, Steven Woodhouse · 2016 · BMC Bioinformatics · 74 citations

• Multiscale Binarization of Gene Expression Data for Reconstructing Boolean Networks

  M. Hopfensitz, C. Mussel, C. Wawra · 2012 · IEEE/ACM Transactions on Computational Biology and Bioinformatics · 65 citations

• Equivalence checking of combinational circuits using Boolean expression diagrams

  H. Hulgaard, P.F. Williams, H.R. Andersen · 1999 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 38 citations

• Generating all maximal models of a Boolean expression

  Dimitris J. Kavvadias, Martha Sideri, Elias C. Stavropoulos · 2000 · Information Processing Letters · 31 citations

• A Decomposition Method for Computing System Reliability by a Boolean Expression

  Hayao Nakazawa · 1977 · IEEE Transactions on Reliability · 27 citations

• Predicting Variabilities in Cardiac Gene Expression with a Boolean Network Incorporating Uncertainty

  Melanie Grieb, Andre Burkovski, J. Eric Sträng · 2015 · PLOS ONE · 27 citations

• Calculating the Probability of Boolean Expression Being 1

  W.G Schneeweiss · 1977 · IEEE Transactions on Reliability · 26 citations

• Analysis and optimization for boolean expression indexing

  Mohammad Sadoghi, Hans-Arno Jacobsen · 2013 · ACM Transactions on Database Systems · 23 citations

🆕 Influential since 2022

• LogBTF: gene regulatory network inference using Boolean threshold network model from single-cell gene expression data

  Lingyu Li, Liangjie Sun, Guangyi Chen · 2023 · Bioinformatics · 41 citations

• Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis

  Aleksey I. Pakhomchik, Vladimir V. Voloshinov, Valerii M. Vinokur · 2022 · Algorithms · 24 citations

• Dynamic Boolean modelling reveals the influence of energy supply on bacterial efflux pump expression

  Ryan Kerr, Sara Jabbari, Jessica M. A. Blair · 2022 · Journal of the Royal Society Interface · 13 citations

• Boolean Algebra for Discrete Data Processing of Time Ranges of Species: Transformation into Expression of n-Tuples

  Kiyoji SHIONO, Kumiko YAMAGUCHI · 2023 · Geoinformatics · 2 citations

• Efficient Parallel Boolean Expression Matching

  Shuping Ji, Jianguo Yao, Wei Wang · 2025 · ACM Transactions on Database Systems · 1 citations

📚 Books worth reading

• Java software solutionsLewis, John, John E. Lewis Ph. D. · 1997
• JavaScriptDavid Flanagan · 1996
• Mathematical structures for computer scienceJudith L. Gersting · 1982
• Discrete mathematicsKenneth A. Ross · 1985
• Eloquent JavascriptMarijn Haverbeke · 2009
• Code CompleteSteve McConnell · 1993
• Language and Automata Theory and ApplicationsAdrian-Horia Dediu · 2012
• Introduction to automata theory, languages, and computationJohn E. Hopcroft, Jeffrey D. Ullman · 1979

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Short-circuit evaluation Short-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming…
• Boolean data type In computer science, the Boolean is a data type that has one of two possible values representing the two truth values of logic: true and false. It is named…
• Logical connective In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies…
• Operators in C and C++ This is a list of operators in the C and C++ programming languages. All listed operators are in C++ and lacking indication otherwise, in C as well. Some…
• Relational operator In computer science, a relational operator is a programming language construct or operator that defines syntactically a relationship between two entities…
• Logical disjunction In logic, disjunction (also known as logical disjunction, logical or, logical addition, or inclusive disjunction) is a logical connective typically notated…
• Logical conjunction In logic, mathematics and linguistics, and (∧) is the truth-functional operator of conjunction or logical conjunction. The logical connective of this operator…
• Negation In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P to another proposition "not P", written…