A Framework for Comparing Symmetry Breaking Methods
Karen Petrie
Details
| Journal |
In Proc. CP 2003 |
| Pages |
990 |
| Publisher |
Springer |
| Series |
LNCS 2833 |
| Year |
2003 |