Rozšíření problému splnitelnosti omezujících podmínek

• Název práce v češtině: Rozšíření problému splnitelnosti omezujících podmínek
• Název v anglickém jazyce: Extensions of Constraint Satisfaction Problem
• Akademický rok vypsání: 2023/2024
• Typ práce: disertační práce
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: doc. Mgr. Libor Barto, Ph.D.

Zásady pro vypracování

This work will concentrate on topics related to constraint satisfaction problems and their extensions.
Specific topics of the thesis will be decided during the first year.

Seznam odborné literatury

L. Barto, A. Krokhin, R. Willard, Polymorphisms, and how to use them, in "The Constraint Satisfaction Problem: Complexity and Approximability", Dagstuhl Follow-Ups, vol. 7, 1–44, 2017