SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:ri-24092"
 

Sökning: onr:"swepub:oai:DiVA.org:ri-24092" > An O(n log n) Bound...

  • Beldiceanu, Nicolas (författare)

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
  • Artikel/kapitelEngelska2012

Förlag, utgivningsår, omfång ...

  • IOS Press,2012
  • printrdacarrier

Nummerbeteckningar

  • 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

Kompletterande språkuppgifter

  • Språk:engelska
  • Sammanfattning på:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:ref swepub-contenttype
  • Ämneskategori:kon swepub-publicationtype

Anmärkningar

  • 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.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se (författare)
  • Petit, Thierry (författare)
  • Régin, Jean-Charles (författare)
  • RISEComputer Systems Laboratory (creator_code:org_t)

Internetlänk

Till lärosätets databas

Sök utanför SwePub

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.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy