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

• Thesis title in Czech: Rozšíření problému splnitelnosti omezujících podmínek
• Thesis title in English: Extensions of Constraint Satisfaction Problem
• Academic year of topic announcement: 2023/2024
• Thesis type: dissertation
• Thesis language: čeština
• Department: Department of Algebra (32-KA)
• Supervisor: doc. Mgr. Libor Barto, Ph.D.

Guidelines

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.

References

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