Proof Transformation via Interpretation Functions: Results, Problems and Applications.

Piotr Kosiuczenko

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data mining
benchmark problems
problems involving
solving problems
difficult problems
machine learning
genetic algorithm
image processing
decision trees
image segmentation
image sequences
np hard
scheduling problem
application domains
theorem prover
related problems