This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dcterms	http://purl.org/dc/terms/
n13	http://purl.org/net/nknouf/ns/bibtex#
n7	http://localhost/temp/predkladatel/
n18	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15	http://linked.opendata.cz/resource/domain/vavai/projekt/
n11	http://linked.opendata.cz/resource/domain/vavai/subjekt/
n8	http://linked.opendata.cz/ontology/domain/vavai/
n3	https://schema.org/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n21	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10126385%21RIV13-GA0-11320___/
n20	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n22	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216208%3A11320%2F12%3A10126385%21RIV13-GA0-11320___

rdf:type

skos:Concept n8:Vysledek

dcterms:description

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

dcterms:title

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

skos:prefLabel

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

skos:notation

RIV/00216208:11320/12:10126385!RIV13-GA0-11320___

n8:predkladatel

n11:orjk%3A11320

n4:aktivita

n22:P n22:I

n4:aktivity

I, P(GAP103/10/1287)

n4:dodaniDat

n9:2013

n4:domaciTvurceVysledku

n18:6481655

n4:druhVysledku

n10:D

n4:duvernostUdaju

n16:S

n4:entitaPredkladatele

n21:predkladatel

n4:idSjednocenehoVysledku

121872

n4:idVysledku

RIV/00216208:11320/12:10126385

n4:jazykVysledku

n5:eng

n4:klicovaSlova

Eager Encoding; All-Different

n4:klicoveSlovo

n20:All-Different n20:Eager%20Encoding

n4:kontrolniKodProRIV

[D61490CD7C1C]

n4:mistoKonaniAkce

Montpellier, France

n4:mistoVydani

Montplellier

n4:nazevZdroje

Proceedings of the 20th European Conference on Artificial Intelligence

n4:obor

n19:JD

n4:pocetDomacichTvurcuVysledku

1

n4:pocetTvurcuVysledku

1

n4:projekt

n15:GAP103%2F10%2F1287

n4:rokUplatneniVysledku

n9:2012

n4:tvurceVysledku

Surynek, Pavel

n4:typAkce

n12:WRD

n4:zahajeniAkce

2012-08-27+02:00

s:numberOfPages

2

n13:hasPublisher

IOS Press

n3:isbn

978-1-61499-097-0

n7:organizacniJednotka

11320