Matches in SemOpenAlex for { <https://semopenalex.org/work/W2197621934> ?p ?o ?g. }
- W2197621934 endingPage "8" @default.
- W2197621934 startingPage "3" @default.
- W2197621934 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." @default.
- W2197621934 created "2016-06-24" @default.
- W2197621934 creator A5051169226 @default.
- W2197621934 creator A5059061177 @default.
- W2197621934 creator A5064139739 @default.
- W2197621934 creator A5067041446 @default.
- W2197621934 creator A5079214634 @default.
- W2197621934 date "2014-08-18" @default.
- W2197621934 modified "2023-10-16" @default.
- W2197621934 title "Breaking conditional symmetry in automated constraint modelling with CONJURE" @default.
- W2197621934 cites W110062765 @default.
- W2197621934 cites W133675624 @default.
- W2197621934 cites W141304919 @default.
- W2197621934 cites W1490081606 @default.
- W2197621934 cites W1511188054 @default.
- W2197621934 cites W1545671843 @default.
- W2197621934 cites W1564783277 @default.
- W2197621934 cites W1566859793 @default.
- W2197621934 cites W1567586152 @default.
- W2197621934 cites W1602860707 @default.
- W2197621934 cites W1763415119 @default.
- W2197621934 cites W1773554800 @default.
- W2197621934 cites W1776181708 @default.
- W2197621934 cites W1858160249 @default.
- W2197621934 cites W2000059300 @default.
- W2197621934 cites W2016030731 @default.
- W2197621934 cites W2059310502 @default.
- W2197621934 cites W2117182850 @default.
- W2197621934 cites W2123885721 @default.
- W2197621934 cites W2159875930 @default.
- W2197621934 cites W2752613978 @default.
- W2197621934 cites W303670457 @default.
- W2197621934 cites W3181037993 @default.
- W2197621934 cites W47957325 @default.
- W2197621934 cites W80684329 @default.
- W2197621934 cites W86038596 @default.
- W2197621934 doi "https://doi.org/10.3233/978-1-61499-419-0-3" @default.
- W2197621934 hasPublicationYear "2014" @default.
- W2197621934 type Work @default.
- W2197621934 sameAs 2197621934 @default.
- W2197621934 citedByCount "4" @default.
- W2197621934 countsByYear W21976219342018 @default.
- W2197621934 countsByYear W21976219342019 @default.
- W2197621934 countsByYear W21976219342020 @default.
- W2197621934 crossrefType "proceedings-article" @default.
- W2197621934 hasAuthorship W2197621934A5051169226 @default.
- W2197621934 hasAuthorship W2197621934A5059061177 @default.
- W2197621934 hasAuthorship W2197621934A5064139739 @default.
- W2197621934 hasAuthorship W2197621934A5067041446 @default.
- W2197621934 hasAuthorship W2197621934A5079214634 @default.
- W2197621934 hasConcept C109214941 @default.
- W2197621934 hasConcept C121332964 @default.
- W2197621934 hasConcept C154945302 @default.
- W2197621934 hasConcept C204795200 @default.
- W2197621934 hasConcept C2524010 @default.
- W2197621934 hasConcept C2776036281 @default.
- W2197621934 hasConcept C2777212361 @default.
- W2197621934 hasConcept C2779886137 @default.
- W2197621934 hasConcept C33923547 @default.
- W2197621934 hasConcept C41008148 @default.
- W2197621934 hasConcept C80444323 @default.
- W2197621934 hasConcept C96469262 @default.
- W2197621934 hasConceptScore W2197621934C109214941 @default.
- W2197621934 hasConceptScore W2197621934C121332964 @default.
- W2197621934 hasConceptScore W2197621934C154945302 @default.
- W2197621934 hasConceptScore W2197621934C204795200 @default.
- W2197621934 hasConceptScore W2197621934C2524010 @default.
- W2197621934 hasConceptScore W2197621934C2776036281 @default.
- W2197621934 hasConceptScore W2197621934C2777212361 @default.
- W2197621934 hasConceptScore W2197621934C2779886137 @default.
- W2197621934 hasConceptScore W2197621934C33923547 @default.
- W2197621934 hasConceptScore W2197621934C41008148 @default.
- W2197621934 hasConceptScore W2197621934C80444323 @default.
- W2197621934 hasConceptScore W2197621934C96469262 @default.
- W2197621934 hasLocation W21976219341 @default.
- W2197621934 hasOpenAccess W2197621934 @default.
- W2197621934 hasPrimaryLocation W21976219341 @default.
- W2197621934 hasRelatedWork W110062765 @default.
- W2197621934 hasRelatedWork W1538403283 @default.
- W2197621934 hasRelatedWork W1826823769 @default.
- W2197621934 hasRelatedWork W1868221333 @default.
- W2197621934 hasRelatedWork W2016030731 @default.
- W2197621934 hasRelatedWork W2096121184 @default.
- W2197621934 hasRelatedWork W2127724972 @default.
- W2197621934 hasRelatedWork W2144558636 @default.
- W2197621934 hasRelatedWork W2155092906 @default.
- W2197621934 hasRelatedWork W2181470579 @default.
- W2197621934 hasRelatedWork W2248676100 @default.
- W2197621934 hasRelatedWork W2295090050 @default.
- W2197621934 hasRelatedWork W2405776767 @default.
- W2197621934 hasRelatedWork W2406448703 @default.
- W2197621934 hasRelatedWork W2734924814 @default.
- W2197621934 hasRelatedWork W303670457 @default.
- W2197621934 hasRelatedWork W3044250000 @default.
- W2197621934 hasRelatedWork W594343222 @default.
- W2197621934 hasRelatedWork W80684329 @default.
- W2197621934 hasRelatedWork W854777502 @default.
- W2197621934 isParatext "false" @default.