The Power of Random Symmetry-Breaking in Nakamoto Consensus.

Lili Su Quanquan C. Liu Neha Narula

Published in: CoRR (2021)

Keyphrases

symmetry breaking
constraint programming
integer linear programming
boolean satisfiability
global constraints
quantified boolean formulae
constraint satisfaction problems
search tree
combinatorial problems
database systems
sat solvers