Hampa: Solver-Aided Recency-Aware Replication.

Xiao Li Farzin Houshmand Mohsen Lesani

Published in: CAV (1) (2020)

Keyphrases

distributed databases
fault tolerant
web search
database replication
real world
social networks
data partitioning
replicated databases
quantified boolean formulas