Sökning: onr:"swepub:oai:DiVA.org:ri-22592" >
Pruning for the min...
-
Beldiceanu, NicolasRISE,SICS
(författare)
Pruning for the minimum constraint family and for the number of distinct values constraint family
- Artikel/kapitelEngelska2001
Förlag, utgivningsår, omfång ...
-
2001-11-19
-
Berlin, Heidelberg :Springer Berlin Heidelberg,2001
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:ri-22592
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22592URI
-
https://doi.org/10.1007/3-540-45578-7_15DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Serie
Anmärkningar
-
The paper presents propagation rules that are common to the minimum constraint family and to the number of distinct values constraint family. One practical interest of the paper is to describe an implementation of the number of distinct values constraint. This is a quite common counting constraint that one encounters in many practical applications such as time tabling or frequency allocation problems. A second important contribution is to provide a pruning algorithm for the constraint "at most n distinct values for a set of variables". This can be considered as the counterpart of Regin's algorithm for the all different constraint where one enforces having at least n distinct values for a given set of n variables.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
RISESICS
(creator_code:org_t)
Internetlänk