Variable Dimension Complexes Part II: A Unified Approach to Some Combinatorial Lemmas in Topology.

Robert M. Freund

Published in: Math. Oper. Res. (1984)

Keyphrases

arbitrary dimension
number of queries needed
optimal solution
theorem prover
database
databases
neural network
knowledge base
website
multi dimensional
constraint satisfaction problems
theorem proving