Short proofs for cut-and-paste sorting of permutations.

Daniel W. Cranston Ivan Hal Sudborough Douglas B. West

Published in: Discret. Math. (2007)

Keyphrases

theorem proving
probability distribution
data sets
machine learning
decision procedures
genetic algorithm
artificial intelligence
search engine
image processing
decision trees
search algorithm
theorem prover
sorting algorithms