Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity.

Laurent Bienvenu

Published in: STACS (2007)

Keyphrases

kolmogorov complexity
inductive inference
decision procedures
max sat
stochastic model
propositional satisfiability
complexity measures
tabu search
theorem proving
davis putnam
feature extraction
search algorithm
np hard
nearest neighbor
computational intelligence
modal logic