Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study.

Hantao Zhang Gary Xin Hua

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

formally define
comparative study
machine learning
data sets
database systems
expert systems
evolutionary algorithm
small number
experimental study
user defined
simulation study
finite number
study compares