Kolmogorov-Loveland Randomness and Stochasticity.

Wolfgang Merkle Joseph S. Miller André Nies Jan Reimann Frank Stephan

Published in: STACS (2005)

Keyphrases

decision procedures
stochastic model
max sat
learning algorithm
propositional satisfiability
random number
machine learning
relational databases
query language
orders of magnitude
modal logic
theorem proving