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

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

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n20http://linked.opendata.cz/resource/domain/vavai/subjekt/
n18http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n21http://linked.opendata.cz/ontology/domain/vavai/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n11http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n12http://linked.opendata.cz/resource/domain/vavai/soutez/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n16http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP223/
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://linked.opendata.cz/ontology/domain/vavai/cep/
n22http://reference.data.gov.uk/id/gregorian-year/
n6http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:GP201%2F09%2FP223
rdf:type
n21:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/09/P223
dcterms:description
Projekt se zabývá studiem výpočetní složitosti problému splnitelnosti omezujících podmínek (CSP) a úzce souvisejících problémů univerzální algebry. Cílem je dokázat dichotomickou hypotézu Federa a Vardiho pro co nejširší třídu CSP problémů a prohloubit relevantní univerzálně algebraické poznatky. The subject of the project is the computational complexity of the Constraint Satisfaction Problem (CSP). The goal is to prove the dichotomy conjecture of Feder and Vardi for a broad class of CSP problems. In particular, we will study the bounded width problems and CSPs for various classes of digraphs, including oriented trees and smooth digraphs expansions. The next aim is to deepen the universal algebra results, wich are useful in the CSP area. This especially concerns Malcev conditions for finite algebras, where we will continue the research on cyclic terms.
dcterms:title
Splnitelnost omezujících podmínek a univerzální algebra Constraint satisfaction problem and universal algebra
skos:notation
GP201/09/P223
n4:aktivita
n6:GP
n4:celkovaStatniPodpora
n16:celkovaStatniPodpora
n4:celkoveNaklady
n16:celkoveNaklady
n4:datumDodatniDoRIV
2015-03-02+01:00
n4:druhSouteze
n19:VS
n4:duvernostUdaju
n8:S
n4:fazeProjektu
n11:91732459
n4:hlavniObor
n10:BA
n4:hodnoceniProjektu
n9:V
n4:kategorie
n7:ZV
n4:klicovaSlova
splnitelnost omezujících podmínek; univerzální algebra; barvení grafu
n4:partnetrHlavni
n20:orjk%3A11320
n4:pocetKoordinujicichPrijemcu
0
n4:pocetPrijemcu
1
n4:pocetSpoluPrijemcu
0
n4:pocetVysledkuRIV
12
n4:pocetZverejnenychVysledkuVRIV
12
n4:posledniUvolneniVMinulemRoce
2011-04-16+02:00
n4:prideleniPodpory
n18:201%2F09%2FP223
n4:sberDatUcastniciPoslednihoRoku
n22:2011
n4:sberDatUdajeProjZameru
n22:2012
n4:soutez
n12:SGA02009GA1PD
n4:statusZobrazovaneFaze
n5:DUU
n4:typPojektu
n17:P
n4:ukonceniReseni
2011-12-31+01:00
n4:vedlejsiObor
n10:IN
n4:zahajeniReseni
2009-01-01+01:00
n4:zhodnoceni+vysledku+projektu+dodavatelem
The project was excellent, both in terms of expertise and in terms of disbursement of funds. Řešení projektu proběhlo na vynikající úrovni, a to jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
n4:zivotniCyklusProjektu
n14:ZBKU
n4:klicoveSlovo
univerzální algebra splnitelnost omezujících podmínek