Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Compositional derivation of symmetries for constraint satisfaction
RISE - Research Institutes of Sweden, IKT, SICS.
2005 (engelsk)Inngår i: Proceedings of SARA'05, Springer-Verlag , 2005, 1, Vol. 3607, s. 234-247Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the applications from primitive constraints. The key insight is the recognition of the special role of global constraints in symmetry detection. Once the symmetries of global constraints are available, it often becomes much easier to derive symmetries compositionally and efficiently. The paper demonstrates the potential of this approach by studying several classes of value and variable symmetries and applying the resulting techniques to two non-trivial applications. The paper also discusses the potential of reformulations and high-level modeling abstractions to strengthen symmetry discovery.

sted, utgiver, år, opplag, sider
Springer-Verlag , 2005, 1. Vol. 3607, s. 234-247
Serie
LNAI
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-23569DOI: 10.1007/11527862_17OAI: oai:DiVA.org:ri-23569DiVA, id: diva2:1042645
Konferanse
Proceedings of SARA'05, 26-29, 2005, Edinburgh, UK
Merknad

Springer LNCS: 3607

Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2018-03-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fullteksthttp

Søk i DiVA

Av forfatter/redaktør
Van Hentenryck, PascalFlener, PierreÅgren, Magnus
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 11 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.44.0