@inproceedings{5e7e77899abc42ee9c5ba2d56b38990a,
title = "Breaking symmetries in graph representation",
abstract = "There are many complex combinatorial problems which involve searching for an undirected graph satisfying a certain property. These problems are often highly challenging because of the large number of isomorphic representations of a possible solution. In this paper we introduce novel, effective and compact, symmetry breaking constraints for undirected graph search. While incomplete, these prove highly beneficial in pruning the search for a graph. We illustrate the application of symmetry breaking in graph representation to resolve several open instances in extremal graph theory.",
author = "Michael Codish and Alice Miller and Patrick Prosser and Stuckey, \{Peter J.\}",
year = "2013",
month = dec,
day = "1",
language = "American English",
isbn = "9781577356332",
series = "IJCAI International Joint Conference on Artificial Intelligence",
pages = "510--516",
booktitle = "IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence",
note = "23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 ; Conference date: 03-08-2013 Through 09-08-2013",
}