ℹ️
🇬🇧
Search
Search for people relevant for "Cube term blocker"
Cube term blocker
Person
Class
Person
Publication
Programmes
doc. Mgr. Libor Barto Ph.D.
Academic staff at Faculty of Mathematics and Physics
3 classes
50 publications
Classes
class
Universal Algebra 1
NMAG405 |
Faculty of Mathematics and Physics
class
Universal Algebra 2
NMAG450 |
Faculty of Mathematics and Physics
class
Optimization and Approximation CSP
NMMB536 |
Faculty of Mathematics and Physics
Publications
publication
Deciding absorption
2016 |
Faculty of Mathematics and Physics
publication
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
2023 |
Faculty of Mathematics and Physics
publication
Fixed-Template Promise Model Checking Problems
2022 |
Faculty of Mathematics and Physics
publication
Weisfeiler-Leman Invariant Promise Valued CSPs
2022 |
Faculty of Mathematics and Physics
publication
Combinatorial Gap Theorem and Reductions between Promise CSPs
2022 |
Faculty of Mathematics and Physics
publication
Finitely Tractable Promise Constraint Satisfaction Problems
2021 |
Faculty of Mathematics and Physics
publication
Constraint Satisfaction Problems over Finite Structures
2021 |
Faculty of Mathematics and Physics
publication
Algebraic Approach to Promise Constraint Satisfaction
2021 |
Faculty of Mathematics and Physics
publication
Symetric Promise Constraint Satisfaction Problems: Beyond The Boolean Case
2021 |
Faculty of Mathematics and Physics
publication
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
2021 |
Faculty of Mathematics and Physics
Load more publications (40)
Loading network view...