James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy. Symmetry-Breaking Predicates for Search Problems. In KR. pages 148-159, 1996.
@inproceedings{CrawfordGLR96, title = {Symmetry-Breaking Predicates for Search Problems}, author = {James M. Crawford and Matthew L. Ginsberg and Eugene M. Luks and Amitabha Roy}, year = {1996}, tags = {search}, researchr = {https://researchr.org/publication/CrawfordGLR96}, cites = {0}, citedby = {0}, pages = {148-159}, booktitle = {KR}, }