Abundant Symmetry-Breaking Solutions of the Nonlocal Alice-Bob Benjamin-Ono System.

Wang Shen Zhengyi Ma Jin-Xi Fei Quanyong Zhu Jun-Chao Chen

Published in: Complex. (2020)

Keyphrases

symmetry breaking
constraint programming
combinatorial problems
search tree
ciphertext
integer linear programming
special case
global constraints
sat solvers