Gaugino Masses from Misaligned Supersymmetry Breaking and R-Symmetry Breaking Spurions.

Yunhao Fu Tianjun Li Longjie Ran Zheng Sun

Published in: Symmetry (2023)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
boolean satisfiability
global constraints
integer linear programming
constraint satisfaction problems
graph coloring
lower bound
worst case
combinatorial problems
boolean optimization