Symmetry breaking in cyclic competition by niche construction.

Xiaozhuo Han Baoying Chen Cang Hui

Published in: Appl. Math. Comput. (2016)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
search tree
constraint satisfaction problems
global constraints
optimization problems
objective function
multi dimensional
integer programming
sat solvers
symmetry breaking constraints