Kolmogorov-Loveland randomness and stochasticity.

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

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

decision procedures
max sat
stochastic model
propositional satisfiability
databases
learning algorithm
artificial intelligence
mobile robot
davis putnam
database
machine learning
support vector
state space
orders of magnitude
random number