The proof of a conjecture of Simion for certain partitions.

Martin Hildebrand

Published in: Discret. Math. (2000)

Keyphrases

theorem prover
linear logic
real world
clustering algorithm
high level
real time
databases
machine learning
case study
objective function
logic programs
equivalence classes