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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n7http://localhost/temp/predkladatel/
n14http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F05%3A00001320%21RIV06-MSM-11320___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F05%3A00001320%21RIV06-MSM-11320___
rdf:type
n15:Vysledek skos:Concept
dcterms:description
In this paper we study several classes of Boolean formulae which generalize Horn formulae while preserving one of their main properties, namely the fact that satisfiability is decidable in polynomial time. We compare the known classes with respect to inclusion and define a hierarchy of new classes, which properly contains some of the known classes. V tomto článku zkoumáme několik tříd Booleovských formulí, které zobecňují Hornovské formule a přitom mají také tu vlastnost, že je pro ně SAT testovatelný v polynomiálním čase. Známé třídy jsou porovnány vzhledem k inkluzi a dále je definována hierarchie nových tříd, která obsahuje některé ze známých tříd jako vlastní podmnožiny. In this paper we study several classes of Boolean formulae which generalize Horn formulae while preserving one of their main properties, namely the fact that satisfiability is decidable in polynomial time. We compare the known classes with respect to inclusion and define a hierarchy of new classes, which properly contains some of the known classes.
dcterms:title
Známé a nové třídy zobecněných Hornovských formulí s rozpoznáváním a SATem v polynomiálním čase Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
skos:prefLabel
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing Známé a nové třídy zobecněných Hornovských formulí s rozpoznáváním a SATem v polynomiálním čase Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
skos:notation
RIV/00216208:11320/05:00001320!RIV06-MSM-11320___
n4:strany
14;52
n4:aktivita
n19:Z n19:P
n4:aktivity
P(GA201/04/1102), Z(MSM0021620838)
n4:cisloPeriodika
1
n4:dodaniDat
n10:2006
n4:domaciTvurceVysledku
n12:9459413
n4:druhVysledku
n6:J
n4:duvernostUdaju
n17:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
526885
n4:idVysledku
RIV/00216208:11320/05:00001320
n4:jazykVysledku
n5:eng
n4:klicovaSlova
Known; classes; generalized; formulae; polynomial; recognition; testing
n4:klicoveSlovo
n8:recognition n8:classes n8:formulae n8:polynomial n8:generalized n8:testing n8:Known
n4:kodStatuVydavatele
NL - Nizozemsko
n4:kontrolniKodProRIV
[589F70064AB9]
n4:nazevZdroje
Discrete Applied Mathematics
n4:obor
n11:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n14:GA201%2F04%2F1102
n4:rokUplatneniVysledku
n10:2005
n4:svazekPeriodika
149
n4:tvurceVysledku
Čepek, Ondřej
n4:zamer
n13:MSM0021620838
s:issn
0166-218X
s:numberOfPages
39
n7:organizacniJednotka
11320