Algebraic approach to promise constraint satisfaction L Barto, J Bulín, A Krokhin, J Opršal Journal of the ACM (JACM) 68 (4), 1-66, 2021 | 79 | 2021 |
Algebraic approach to promise constraint satisfaction J Bulín, A Krokhin, J Opršal Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing …, 2019 | 61 | 2019 |
A finer reduction of constraint problems to digraphs J Bulin, D Delic, M Jackson, T Niven Logical Methods in Computer Science 11, 2015 | 33 | 2015 |
On the reduction of the CSP dichotomy conjecture to digraphs J Bulín, D Delić, M Jackson, T Niven International Conference on Principles and Practice of Constraint …, 2013 | 27 | 2013 |
CSP dichotomy for special polyads L Barto, J Bulín International Journal of Algebra and Computation 23 (05), 1151-1174, 2013 | 14 | 2013 |
On the complexity of H-coloring for special oriented trees J Bulín European Journal of Combinatorics 69, 54-75, 2018 | 9* | 2018 |
Deciding absorption in relational structures L Barto, J Bulín Algebra universalis 78 (1), 3-18, 2017 | 6 | 2017 |
Decidability of absorption in relational structures of bounded width J Bulín Algebra universalis 72 (1), 15-28, 2014 | 6 | 2014 |
Algebraic approach to promise constraint satisfaction. 2019 L Barto, J Bulín, A Krokhin, J Opršal URL: https://arxiv. org/abs/1811.00970 v3, 2019 | 5 | 2019 |
The smallest hard trees M Bodirsky, J Bulín, F Starke, M Wernthaler Constraints 28 (2), 105-137, 2023 | 2 | 2023 |
Short definitions in constraint languages J Bulín, M Kompatscher arXiv preprint arXiv:2305.01984, 2023 | 1 | 2023 |
Constraint satisfaction, graphs and algebras J Bulín Univerzita Karlova, Matematicko-fyzikální fakulta, 2014 | | 2014 |
Algebraický přístup k CSP J Bulín Univerzita Karlova, Matematicko-fyzikální fakulta, 2010 | | 2010 |
SVOˇC 2009 J Bulın | | 2009 |
Selected Topics from Tame Congruence Theory J Bulín Univerzita Karlova, Matematicko-fyzikální fakulta, 2008 | | 2008 |
NAIL062 Výroková a predikátová logika: zápisky z přednášky J Bulín | | |
CSP dichotomy for special polyads J Bulın | | |