Generating symmetry and symmetry breaking in sand-bubbler patterns.
Hendrik RichterPublished in: ALIFE (2020)
Keyphrases
- symmetry breaking
- constraint programming
- search tree
- global constraints
- quantified boolean formulae
- boolean satisfiability
- integer linear programming
- constraint satisfaction problems
- sat solvers
- graph coloring
- symmetry breaking constraints
- constraint satisfaction
- constraint propagation
- propositional satisfiability
- optimal solution
- metaheuristic
- search space