Title of article
Generating effective symmetry-breaking predicates for search problems Original Research Article
Author/Authors
Ilya Shlyakhter، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
10
From page
1539
To page
1548
Keywords
symmetry , Solution counting , Satisfiability testing , Symmetry-breaking predicates
Journal title
Discrete Applied Mathematics
Serial Year
2007
Journal title
Discrete Applied Mathematics
Record number
886526
Link To Document