An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10126385" target="_blank" >RIV/00216208:11320/12:10126385 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors
Popis výsledku v původním jazyce
1A novel eager encoding of the ALLDIFFERENT constraint over bit-vectors is presented in this short paper. It is based on 1-to-1 mapping of the input bit-vectors to a linearly ordered set of auxiliary bit-vectors.
Název v anglickém jazyce
An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors
Popis výsledku anglicky
1A novel eager encoding of the ALLDIFFERENT constraint over bit-vectors is presented in this short paper. It is based on 1-to-1 mapping of the input bit-vectors to a linearly ordered set of auxiliary bit-vectors.

Projekt
<a href="/cs/project/GAP103%2F10%2F1287" target="_blank" >GAP103/10/1287: PlanEx: Propojení plánování a provádění plánů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 20th European Conference on Artificial Intelligence
ISBN
978-1-61499-097-0
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
927-928
Název nakladatele
IOS Press
Místo vydání
Montplellier
Místo konání akce
Montpellier, France
Datum konání akce
27. 8. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)