Skip to search formSkip to main contentSkip to account menu

Boolean algebra

Known as: Boolean search, BooleanAlgebra, Boolean logic in computer science 
In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
A New Kind of ScienceAND gateAlgebraic normal formBinary data

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
SWARM: A Parallel Programming Framework for Multicore Processors
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor… 
Review
2007
Review
2007
A NEW HABITAT CLASSIFICATION AND MANUAL FOR STANDARDIZED HABITAT MAPPING
Today the documentation of natural heritage with scientific methods but for conservation practice – like mapping of actual… 
Highly Cited
2006
Highly Cited
2006
Question Answering with LCC's CHAUCER at TREC 2006
C HAUCER is a Q/A system developed for (a) combining several strategies for modeling the target of a series of questions and (b… 
Highly Cited
2001
Highly Cited
2001
Predictive mapping for management and conservation of seagrass beds in North Carolina
An Erratum has been published for this article in Aquatic Conservation: Marine and Freshwater Ecosystems 12(2), 2002 577 1… 
Highly Cited
2000
Highly Cited
2000
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation
Implication, justification, and propagation are three important Boolean problems that have to be solved during many tasks in… 
Highly Cited
1985
Highly Cited
1985
In defence of bibliographic standards
The last few years have seen considerable advances in the field of computerised bibliographic control. In addition to the… 
Highly Cited
1984
Highly Cited
1984
Soft evaluation of Boolean search queries in information retrieval systems
La logique booleenne est le support le plus courant a la formulation des questions lors d'une recherche automatisee. Ses… 
Highly Cited
1984
Highly Cited
1984
Model-Reference Adaptive Control—Stability, Parameter Convergence, and Robustness
We study stability, parameter convergence and robustness aspects of single input-single output model reference adaptive systems… 
Highly Cited
1983
Highly Cited
1983
Parallel Algormiivls For Optical Digital Computers
  • A. Huang
  • Other Conferences
  • 1983
  • Corpus ID: 62748776
Conventional computers suffer from several communication bottlenecks which fundamentally limit their performance. These… 
Highly Cited
1975
Highly Cited
1975
Fault Detecting Test Sets for Reed-Muller Canonic Networks
Fault detecting test sets to detect multiple stuck-at-faults (s-a-faults) in certain networks, realizing Reed-Muller(RM) canonic… 
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)