Search
Now showing items 1-2 of 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
dissertation thesis (DEFENDED)
Advisor: Barto, Libor
Date Issued: 2019
Date of defense: 05. 06. 2019
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Barto, Libor
Date Issued: 2014
Date of defense: 22. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...