Promises in Satisfaction Problems

• Název práce v češtině: Sliby v problémech splnitelnosti
• Název v anglickém jazyce: Promises in Satisfaction Problems
• Klíčová slova: problém splnitelnosti omezujících podmínek|problém splnitelnosti omezujících podmínek se slib|konečná polynomiální řešitelnost|problém ověřování sentencí v modelech
• Klíčová slova anglicky: Constraint satisfaction problem|promise constraint satisfaction problem|finite tractability|model checking problem
• Akademický rok vypsání: 2018/2019
• Typ práce: disertační práce
• Jazyk práce: anglič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í: 29.10.2018
• Datum zadání: 29.10.2018
• Datum potvrzení stud. oddělením: 29.10.2018
• Datum a čas obhajoby: 14.08.2023 10:00
• Datum odevzdání elektronické podoby: 24.05.2023
• Datum odevzdání tištěné podoby: 02.06.2023
• Datum proběhlé obhajoby: 14.08.2023
• Oponenti: prof. Martin Barnaby

Zásady pro vypracování

This is a work under the ERC CoG grant CoCoSym.
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