Symmetry-Breaking Predicates for Search Problems (1996)

by Crawford
Venue:Principles of Knowledge Representation and Reasoning