Symmetry-breaking predicates for search problems. In: (1996)

by J Crawford, M Ginsberg, E Luks, A Roy
Venue:KR’96: Principles of Knowledge Representation and Reasoning,