Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity.

Laurent Bienvenu

Published in: Theory Comput. Syst. (2010)

Keyphrases

kolmogorov complexity
inductive inference
decision procedures
max sat
complexity measures
stochastic model
propositional satisfiability
davis putnam
data sets
support vector
conjunctive queries
propositional logic
theorem proving