ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Satisfaction"
Satisfaction
Osoba
Předměty
Osoby
Publikace
Studium
doc. Mgr. Libor Barto Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
3 předměty
50 publikací
Předměty
class
Universální algebra 1
NMAG405 |
Matematicko-fyzikální fakulta
class
Universální algebra 2
NMAG450 |
Matematicko-fyzikální fakulta
class
Optimalizace a aproximace CSP
NMMB536 |
Matematicko-fyzikální fakulta
Publikace
publication
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
2023 |
Matematicko-fyzikální fakulta
publication
Fixed-Template Promise Model Checking Problems
2022 |
Matematicko-fyzikální fakulta
publication
Weisfeiler-Leman Invariant Promise Valued CSPs
2022 |
Matematicko-fyzikální fakulta
publication
Combinatorial Gap Theorem and Reductions between Promise CSPs
2022 |
Matematicko-fyzikální fakulta
publication
Finitely Tractable Promise Constraint Satisfaction Problems
2021 |
Matematicko-fyzikální fakulta
publication
Constraint Satisfaction Problems over Finite Structures
2021 |
Matematicko-fyzikální fakulta
publication
Algebraic Approach to Promise Constraint Satisfaction
2021 |
Matematicko-fyzikální fakulta
publication
Symetric Promise Constraint Satisfaction Problems: Beyond The Boolean Case
2021 |
Matematicko-fyzikální fakulta
publication
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
2021 |
Matematicko-fyzikální fakulta
publication
TOPOLOGY IS IRRELEVANT (IN A DICHOTOMY CONJECTURE FOR INFINITE DOMAIN CONSTRAINT SATISFACTION PROBLEMS)
2020 |
Matematicko-fyzikální fakulta
Načíst další publikace (40)
Loading network view...