Hledat
Zobrazují se záznamy 1-2 z 2
Generalizing CSP-related results to infinite algebras
Zobecňování výsledků týkajících se problému splnitelnosti podmínek na nekonečné algebry
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2019
Datum obhajoby: 05. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nedávný výzkum v oblasti problému splnitelnosti podmínek vedl k užitečným nástrojům v uni- verzální algebře a pro studium výpočetní složitosti. Tento výzkum byl zaměřen zejména na konečné re- lační struktury a tím pádem ...
The recent research on constraint satisfaction problems (CSPs) on fixed finite templates provided useful tools for computational complexity and universal algebra. However, the research mainly focused on finite relational ...
The recent research on constraint satisfaction problems (CSPs) on fixed finite templates provided useful tools for computational complexity and universal algebra. However, the research mainly focused on finite relational ...
Constraint satisfaction, graphs and algebras
CSP, grafy a algebry
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2014
Datum obhajoby: 22. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Constraint satisfaction, graphs and algebras Jakub Bulín Abstract This thesis consists of three papers in the area of algebraic approach to the constraint satisfaction problem. In the first paper, a joint work with Deli'c, ...
CSP, grafy a algebry Jakub Bulín Abstrakt Tato práce sestává ze tří článků v oblasti algebraického přístupu k problému splňování podmínek (CSP). V prvním článku, se spoluautory Deli'cem, Jacksonem a Nivenem, studujeme ...
CSP, grafy a algebry Jakub Bulín Abstrakt Tato práce sestává ze tří článků v oblasti algebraického přístupu k problému splňování podmínek (CSP). V prvním článku, se spoluautory Deli'cem, Jacksonem a Nivenem, studujeme ...