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
• Jazyk práce: čeština
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: doc. Mgr. Libor Barto, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 11.10.2023
• Datum zadání: 11.10.2023
• Datum potvrzení stud. oddělením: 11.10.2023

Zásady pro vypracování

This is a work under the ERC SyG POCOCOP.
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