About: Constraint satisfaction problem and universal algebra

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Constraint satisfaction problem and universal algebra Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP201/09/P223
Description	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. (en) 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.
Title	Constraint satisfaction problem and universal algebra (en) Splnitelnost omezujících podmínek a univerzální algebra
skos:notation	GP201/09/P223
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP223/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP223/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-03-02 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	91732459
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	splnitelnost omezujících podmínek; univerzální algebra; barvení grafu (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	12 (xsd:int)
http://linked.open...enychVysledkuVRIV	12 (xsd:int)
http://linked.open...lneniVMinulemRoce	2011-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F09%2FP223
http://linked.open...iciPoslednihoRoku	2011
http://linked.open...atUdajeProjZameru	2012
http://linked.open.../vavai/cep/soutez	SGA02009GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2011-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2009-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	The project was excellent, both in terms of expertise and in terms of disbursement of funds. (en) Ř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ů. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	univerzální algebra splnitelnost omezujících podmínek
is http://linked.open...vavai/riv/projekt of	CSP DICHOTOMY FOR SPECIAL POLYADS Congruence distributivity implies bounded width Constraint Satisfaction Problems of Bounded Width CSP dichotomy for special triads New Conditions for Taylor Varieties and CSP Cyclic terms for SDv varieties revisited ABSORBING SUBALGEBRAS, CYCLIC TERMS, AND THE CONSTRAINT SATISFACTION PROBLEM The dichotomy for conservative constraint satisfaction problems revisited Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms Polymorphisms of small digraphs Near Unanimity Constraints Have Bounded Pathwidth Duality Constraint Satisfaction Problems Solvable by Local Consistency Methods
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP223/2009/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP223/2010/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP223/2011/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP223/2012/orjk%3A11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software