A Complexity Theory Based on Boolean Algebra

Sven Skyum Leslie G. Valiant

Published in: FOCS (1981)

Keyphrases

complexity theory
boolean algebra
theoretical basis
computational geometry
constraint query languages
cardinality constraints
theorem prover
set theory
data points