Login / Signup
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