Title of article :
Generating effective symmetry-breaking predicates for search problems Original Research Article
Author/Authors :
Ilya Shlyakhter، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
symmetry , Solution counting , Satisfiability testing , Symmetry-breaking predicates
Journal title :
Discrete Applied Mathematics
Journal title :
Discrete Applied Mathematics
