3.6.17. Symmetry
Denotes that a keyword is related to a symmetry breaking technique [CohenJeavonsJeffersonPetrieSmith06], [FlenerPearsonSellmannVanHentenryckAgren09].
Denotes that a keyword is related to a symmetry breaking technique [CohenJeavonsJeffersonPetrieSmith06], [FlenerPearsonSellmannVanHentenryckAgren09].