On the Random Satisfiable Process.

Michael Krivelevich Benny Sudakov Dan Vilenchik

Published in: Comb. Probab. Comput. (2009)

Keyphrases

real time
data sets
computational complexity
neural network
search engine
e learning
knowledge base
multi agent
process model
randomly generated