WFRF:(Beldiceanu Nicolas)
Search: WFRF:(Beldiceanu Nicolas) > An O(n log n) Bound...
- 11 of 76
- Previous record
- Next record
- To hitlist
- Beldiceanu, Nicolas (author)
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization
- 13
- Article/chapterEnglish2012
Publisher, publication year, extent ...
- IOS Press,2012
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:ri-24092
- https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-24092URI
- https://doi.org/10.3233/978-1-61499-098-7-145DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- This paper gives an O(n log n) bound-consistency filtering algorithm for the conjunction alldifferent(V0,V1,…,Vn−1)∧ f(V0)⌖f(V1)⌖…⌖f(Vn−1) ≤ cst, (V0,V1,…,Vn−1,cst ∊ N+), where (N,⌖) is a commutative group, f is a unary function, and both ⌖ and f are monotone increasing. This complexity is equal to the complexity of the bound-consistency algorithm of the alldifferent constraint.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se (author)
- Petit, Thierry (author)
- Régin, Jean-Charles (author)
- RISEComputer Systems Laboratory (creator_code:org_t)
Internet link
To the university's database
- 11 of 76
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Beldiceanu, Nico ...
- Carlsson, Mats
- Petit, Thierry
- Régin, Jean-Char ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- By the university
- RISE
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
