Constraint Symmetry for the Soft CSP (Articolo in rivista)

Type
Label
  • Constraint Symmetry for the Soft CSP (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • [1] Bistarelli S., [2] Smith B. M., [2] O'Sullivan B. (2007)
    Constraint Symmetry for the Soft CSP
    in Lecture notes in computer science; Springer-Verlag, Berlin (Germania)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Bistarelli S., [2] Smith B. M., [2] O'Sullivan B. (literal)
Pagina inizio
  • 872 (literal)
Pagina fine
  • 879 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 4741 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 8 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] IIT-CNR, Pisa, Italy; [2] Cork Constraints Computation Center, UCC, Cork, Ireland (literal)
Titolo
  • Constraint Symmetry for the Soft CSP (literal)
Abstract
  • We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a soft CSP is a subgroup of that of an associated classical CSP instance. Where it is smaller, we can successfully exploit the additional symmetries using conditional symmetry breaking. We demonstrate, in a case-study of graph colouring, that eliminating the symmetry of the soft CSP combined with conditional symmetry breaking can lead to huge reductions in the search effort to find an optimal solution to the soft CSP. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it