Discovery of inductive algorithms through automated reasoning: A case study on sorting.

Isabela Dramnesc Tudor Jebelean

Published in: SISY (2012)

Keyphrases

automated reasoning
knowledge representation
learning algorithm
theorem prover
machine learning
propositional satisfiability
fuzzy logic
programming language
orders of magnitude
theorem proving
probabilistic reasoning
decision procedures