Verification of consensus algorithms using satisfiability solving.

Tatsuhiro Tsuchiya André Schiper

Published in: Distributed Comput. (2011)

Keyphrases

computational complexity
combinatorial optimization
data structure
significant improvement
computational cost
computationally efficient
learning algorithm
orders of magnitude
model checking
times faster
practical problems
stochastic local search
quadratic optimization problems