Sign in
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