Checking linearizability using hitting families.

Burcu Kulahcioglu Ozkan Rupak Majumdar Filip Niksic

Published in: PPoPP (2019)

Keyphrases

markov chain
data sets
integrity constraints
computational properties
decision making
information retrieval systems
constraint checking
database
machine learning
three dimensional