On Reducing Linearizability to State Reachability.

Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza

Published in: CoRR (2015)

Keyphrases

state space
significantly reduced
machine learning
digital libraries
data sets
real world
information retrieval
search engine
e learning
training data
probabilistic model