Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Boolean expression

Known as: Boolean, Boolean Expressions 
In computer science, a Boolean expression is an expression in a programming language that produces a Boolean value when evaluated, i.e. one of true… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Quantum computation is becoming an important and effective tool to overcome the high real-time computational requirements of… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Highly Cited
2009
Highly Cited
2009
This work presents a new framework for Grobner-basis computations with Boolean polynomials. Boolean polynomials can be modelled… Expand
  • figure 1
  • table 1
Highly Cited
1994
Highly Cited
1994
Partial redundancy elimination is a code optimization with a long history of literature and implementation. In practice, its… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Highly Cited
1991
Highly Cited
1991
Abstract : Programming computers is a notoriously error-prone process. It is the job of the programming language designer to make… Expand
  • figure 2
Highly Cited
1986
Highly Cited
1986
1 Introduction 1.1 Language Processors 1.2 The Structure of a Compiler 1.3 The Evolution of Programming Languages 1.4 The Science… Expand
Highly Cited
1985
Highly Cited
1985
Abstract It is by now well recognized that a major impediment to developing knowledge-based systems is the knowledge-acquisition… Expand
Highly Cited
1984
Highly Cited
1984
  • C. Tovey
  • Discret. Appl. Math.
  • 1984
  • Corpus ID: 16563610
3-SAT is NP-complete when restricted to instances where each variable appears in at most four clauses. When no variable appears… Expand
Highly Cited
1983
Highly Cited
1983
In conventional information retrieval Boolean combinations of index terms are used to formulate the users'' information requests… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • table II
Highly Cited
1956
Highly Cited
1956
A systematic procedure is presented for writing a Boolean function as a minimum sum of products. This procedure is a… Expand
Highly Cited
1954
Highly Cited
1954
  • D. Muller
  • Trans. I R E Prof. Group Electron. Comput.
  • 1954
  • Corpus ID: 26926937
A solution is sought to the general problem of simplifying switching circuits that have more than one output. The mathematical… Expand