Symmetry breaking in the genetic code: Finite groups.

Fernando Antoneli Michael Forger

Published in: Math. Comput. Model. (2011)

Keyphrases

symmetry breaking
constraint programming
global constraints
constraint satisfaction problems
genetic algorithm
boolean satisfiability
quantified boolean formulae
search tree
integer linear programming
sat solvers
graph coloring
boolean optimization
symmetry breaking constraints
database systems