The Power of Random Symmetry-Breaking in Nakamoto Consensus.
Lili SuQuanquan C. LiuNeha NarulaPublished in: DISC (2021)
Keyphrases
- symmetry breaking
- constraint programming
- search tree
- global constraints
- boolean satisfiability
- integer linear programming
- quantified boolean formulae
- graph coloring
- constraint satisfaction problems
- randomly generated
- branch and bound algorithm
- boolean optimization
- symmetry breaking constraints
- constraint propagation