Parallel Processing in Boolean Algebra.

Antonín Svoboda

Published in: IEEE Trans. Computers (1973)

Keyphrases

parallel processing
boolean algebra
cardinality constraints
constraint query languages
computational power
processing speed
distributed processing
theorem prover
set theory
ibm sp
pc cluster
graphics processing units
databases
artificial intelligence
partial order
electronic circuits