Combinatorial lemmas for polyhedrons I.

Adam Idzik Konstanty Junosza-Szaniawski

Published in: Discuss. Math. Graph Theory (2006)

Keyphrases

theorem proving
theorem prover
databases
case study
image processing
multi agent
line drawings
neural network
knowledge base
decision trees
high quality
lower bound
special case
simulated annealing