Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality.

Milan Petrík Mirko Navara Peter Sarkoci

Published in: ISMVL (2013)

Keyphrases

interactive theorem proving
databases
similar problems
optimal solution
solution space
genetic algorithm
real world
artificial intelligence
search engine
feature selection
database
multi agent systems
logic programs
ant colony optimization
solution quality
von neumann
data sets