Driftmeddelande
För närvarande är det driftstörningar. Felsökning pågår.
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Efficient structural symmetry breaking for constraint satisfaction problems
Visa övriga samt affilieringar
2007 (Engelska)Ingår i: Proceedings of the International Symmetry Conference, Edinburgh, UK, 2007, 1Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Symmetry breaking for constraint satisfaction problems (CSPs) has attracted considerable attention in recent years. Various general schemes have been proposed to eliminate symmetries. In general, these schemes may take exponential space or time to eliminate all the symmetries. We identify several classes of CSPs that encompass many practical problems and for which symmetry breaking for various forms of value and variable interchangeability is tractable using dedicated search procedures or symmetry-breaking constraints that allow nogoods and their symmetrically equivalent solutions to be stored and checked efficiently.

Ort, förlag, år, upplaga, sidor
2007, 1.
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-23563OAI: oai:DiVA.org:ri-23563DiVA, id: diva2:1042639
Konferens
International Symmetry Conference, 14-17 Jan 2007, Edinburgh, UK
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2025-09-23Bibliografiskt granskad

Open Access i DiVA

fulltext(92 kB)78 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 92 kBChecksumma SHA-512
675d6140148672cab3b8bfd31a6e27aa8c49f399c89e6fbd830a87df09dbb25e4907c399529f73ab678e436fa77e76f446c00218ae07a295dd48d94e2551845e
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Sellmann, MeinolfÅgren, Magnus
Av organisationen
SICS
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 78 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 162 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf