Symmetry-Breaking Predicates for Search Problems.
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
Browse the full KR paper archive.
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
Browse the full KR paper archive.