Search Results

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

A Proof from 'The Book': A decades-old conjecture about computational complexity is confirmed in just a few pages.

• Authors : Monroe, Don

Subjects: *ALGORITHMS; BOOLEAN functions; SENSITIVITY theory (Mathematics)HUANG, Hao

• Source: Communications of the ACM. May2020, Vol. 63 Issue 5, p27-29. 3p. 1 Color Photograph.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Boolean Satisfiability: Theory and Engineering.

• Authors : Vardi, Moshe Y. (AUTHOR)

Subjects: *SOFTWARE engineering; *COMPUTER software; COMPUTATIONAL complexity

• Source: Communications of the ACM. Mar2014, Vol. 57 Issue 3, p5-5. 1p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Inefficiency of the use of Boolean functions for information retrieval systems.

• Authors : Verhoeff, J.; Goffman, W.; Belzer, Jack

• Source: Communications of the ACM; Dec1961, Vol. 4 Issue 12, p557-558, 2p

Record details

REMARKS ON SIMULATION OF BOOLEAN FUNCTIONS.

• Authors : Dodd, George G.

Subjects: BOOLEAN algebra; MATHEMATICS; COMPUTER logic

• Source: Communications of the ACM; Aug1965, Vol. 8 Issue 8, p517-517, 2/3p

Record details

SIMULATION OF BOOLEAN FUNCTIONS IN A DECIMAL COMPUTER.

• Authors : Mano, M. Morris

Subjects: MATHEMATICAL functions; MATHEMATICAL analysis; COMPUTER arithmetic

• Source: Communications of the ACM; Jan1965, Vol. 8 Issue 1, p39-40, 2p

Record details

Functions Realizable with Word-Parallel Logical and Two's-Complement Addition Instructions.

• Authors : Warren, Jr., Henry S.¹

Subjects: *Coding theory; Mathematical programming; Binary-coded decimal system

• Source: Communications of the ACM. Jun77, Vol. 20 Issue 6, p439-441. 3p.

Record details