Files in this item
Breaking conditional symmetry in automated constraint modelling with CONJURE
Item metadata
dc.contributor.author | Akgün, Özgür | |
dc.contributor.author | Gent, Ian | |
dc.contributor.author | Jefferson, Chris | |
dc.contributor.author | Miguel, Ian | |
dc.contributor.author | Nightingale, Peter | |
dc.contributor.editor | Schaub, Torsten | |
dc.contributor.editor | Friedrich, Gerhard | |
dc.contributor.editor | O'Sullivan, Barry | |
dc.date.accessioned | 2015-03-04T12:01:05Z | |
dc.date.available | 2015-03-04T12:01:05Z | |
dc.date.issued | 2014-08-18 | |
dc.identifier | 172487935 | |
dc.identifier | dd934765-5a2d-45f2-bef8-1ebcb8778daa | |
dc.identifier | 84923169106 | |
dc.identifier | 000349444700002 | |
dc.identifier.citation | Akgün , Ö , Gent , I , Jefferson , C , Miguel , I & Nightingale , P 2014 , Breaking conditional symmetry in automated constraint modelling with CONJURE . in T Schaub , G Friedrich & B O'Sullivan (eds) , ECAI 2014 . Frontiers in Artificial Intelligence and Applications , vol. 263 , IOS Press , pp. 3-8 . https://doi.org/10.3233/978-1-61499-419-0-3 | en |
dc.identifier.isbn | 9781614994183 | |
dc.identifier.isbn | 9781614994190 | |
dc.identifier.issn | 0922-6389 | |
dc.identifier.other | ORCID: /0000-0002-5052-8634/work/34029957 | |
dc.identifier.other | ORCID: /0000-0001-9519-938X/work/33166296 | |
dc.identifier.other | ORCID: /0000-0003-2979-5989/work/60887570 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/68281462 | |
dc.identifier.uri | https://hdl.handle.net/10023/6174 | |
dc.description | This work was supported by UK EPSRC EP/K015745/1. Jefferson is supported by a Royal Society University Research Fellowship. | en |
dc.description.abstract | Many constraint problems contain symmetry, which can lead to redundant search. If a partial assignment is shown to be invalid, we are wasting time if we ever consider a symmetric equivalent of it. A particularly important class of symmetries are those introduced by the constraint modelling process: model symmetries. We present a systematic method by which the automated constraint modelling tool CONJURE can break conditional symmetry as it enters a model during refinement. Our method extends, and is compatible with, our previous work on automated symmetry breaking in CONJURE. The result is the automatic and complete removal of model symmetries for the entire problem class represented by the input specification. This applies to arbitrarily nested conditional symmetries and represents a significant step forward for automated constraint modelling. | |
dc.format.extent | 6 | |
dc.format.extent | 190855 | |
dc.language.iso | eng | |
dc.publisher | IOS Press | |
dc.relation.ispartof | ECAI 2014 | en |
dc.relation.ispartofseries | Frontiers in Artificial Intelligence and Applications | en |
dc.subject | QA76 Computer software | en |
dc.subject | BDC | en |
dc.subject | R2M | en |
dc.subject.lcc | QA76 | en |
dc.title | Breaking conditional symmetry in automated constraint modelling with CONJURE | en |
dc.type | Book item | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.3233/978-1-61499-419-0-3 | |
dc.identifier.grantnumber | EP/K015745/1 | en |
dc.identifier.grantnumber | EP/H004092/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.