You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Glasgow » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Glasgow

Return to search Previous output Next output

Output 31 of 146 in the submission

Output title

Breaking symmetries in graph representation

Type

E - Conference contribution

DOI

Name of conference/published proceedings

Proceedings of The Twenty-Third International Joint Conference On Artificial Intelligence (IJCAI13)

Volume number

Issue number

First page of article

510

ISSN of proceedings

Year of publication

2013

URL

http://ijcai.org/papers13/Papers/IJCAI13-083.pdf

Number of additional authors

Additional information

<12>A new constraint for symmetry breaking in graph problems is presented with proof of correctness, empirical evidence and new results in extremal graph theory. The new results have been added to the on-line Encyclopaedia of Integer Sequences. IJCAI is the premiere AI conference and this is a significant piece of work for the constraint programming community.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract