Proof of the squashed cube conjecture.

Peter M. Winkler

Published in: Comb. (1983)

Keyphrases

multi dimensional
data cube
theorem proving
information retrieval
decision making
expert systems
theorem prover
database
data sets
artificial intelligence
multi agent systems
relational databases
first order logic