Publications

2025

• EPPA numbers of graphsBradley-Williams, D., Cameron, P. J., Hubička, J. & Konečný, M., Jan 2025, In: Journal of combinatorial theory. Series B. 170, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article

2024

• Complexity Classification Transfer for CSPs via Algebraic ProductsBodirsky, M., Jonsson, P., Martin, B., Mottet, A. & Semanišinová, Ž., 31 Oct 2024, In: SIAM Journal on Optimization. 53, 5, p. 1293-1353, 61 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Mal'cev complexesMoorhead, A., 1 Sep 2024, In: International journal of algebra and computation. 34, 6, p. 919-936, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Big Ramsey Degrees and Infinite LanguagesBraunfeld, S., Chodounský, D., Hubička, J., Kawach, J., Konečný, M. & de Rancourt, N., 10 Aug 2024, In: Advances in Combinatorics. 2024 (2024), 26 p., 26Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exact big Ramsey degrees for finitely constrained binary free amalgamation classesBalko, M., Chodounský, D., Dobrinen, N., Hubička, J., Konečný, M., Vena, L. & Zucker, A., 8 Aug 2024, In: Journal of the European Mathematical Society : JEMS. 2024Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Orientations without forbidden patterns on three verticesGuzmán-Pro, S. & Hernández-Cruz, C., 1 Jul 2024, In: Applied mathematics and computation. 480 (2024), 16 p., 128912Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Complexity Dichotomy in Spatial Reasoning via Ramsey TheoryBodirsky, M. & Bodor, B., 30 Jun 2024, In:  ACM transactions on computation theory : TOCT. 16, 2, 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the diameter of semigroups of transformations and partitionsEast, J., Gould, V., Miller, C., Quinn-Gregson, T. & Ruškuc, N., 13 Jun 2024, In: Journal of the London Mathematical Society . 110 (2024), 1, 34 p., e12944Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Primitive elements of finite fields F_q^r avoiding affine hyperplanes for q = 4 and q = 5Grzywaczyk, P. A. & Winterhof, A., Jun 2024, In: Finite Fields and their Applications. 96, 102416Electronic (full-text) versionResearch output: Contribution to journal > Research article

2023

• Network Satisfaction Problems Solved by k-ConsistencyBodirsky, M. & Knäuer, S., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Etessami, K., Feige, U. & Puppis, G. (eds.).p. 116:1-116:20, 20 p., 116Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The lattice of clones of self-dual operations collapsedBodirsky, M., Vucaj, A. & Zhuk, D., Jun 2023, In: International Journal of Algebra and Computation. 33, 4, p. 717-749, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The smallest hard treesBodirsky, M., Bulín, J., Starke, F. & Wernthaler, M., Jun 2023, In: Constraints. 28, 2, p. 105–137, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Three Concepts of Nilpotence in LoopsSemanišinová, Ž. & Stanovský, D., 7 Apr 2023, In: Results in mathematics. 78 (2023), 4, 15 p., 119Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Corrigendum: ω-Categorical structures avoiding height 1 identities (Transactions of the American Mathematical Society (2021) 374:1 (327-350) DOI: 10.1090/tran/8179)Bodirsky, M., Mottet, A., Olšák, M., Opršal, J., Pinsker, M. & Willard, R., 1 Apr 2023, In: Transactions of the American Mathematical Society. Vol. 376. p. 3005, 1 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
• On the Descriptive Complexity of Temporal Constraint Satisfaction Problems.Bodirsky, M. & Rydval, J., Feb 2023, In: Journal of the ACM. 70, 1, p. 1-58, 58 p., 3566051Electronic (full-text) versionResearch output: Contribution to journal > Research article
• An application of Farkas' lemma to finite-valued constraint satisfaction problems over infinite domainsSchneider, F. M. & Viola, C., 1 Jan 2023, In: Journal of mathematical analysis and applications. 517, 1, 126591Electronic (full-text) versionResearch output: Contribution to journal > Research article
• An Efficient Computation of the Rank Function of a PositroidChidiac, L., Guzmán-Pro, S., Hochstättler, W. & Youssef, A., 2023, Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Proceedings. Fernau, H. & Jansen, K. (eds.). Springer Science and Business Media B.V., p. 147-161, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroupsCameron, P. J., East, J., Fitzgerald, D., Mitchell, J. D., Pebody, L. & Quinn-Gregson, T., 2023, In: Combinatorial theory : CT. 3, 3, 16Electronic (full-text) versionResearch output: Contribution to journal > Research article

2022

• Maximal Digraphs with Respect to Primitive Positive ConstructabilityBodirsky, M. & Starke, F., Dec 2022, In: Combinatorica : an international journal on combinatorics and the theory of computing. 42, 6, p. 997-1010, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hochschild lattices and shuffle latticesMühle, H., Jun 2022, In: European Journal of Combinatorics. 103, 31 p., 103521Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Universal Horn Sentences and the Joint Embedding Property.Bodirsky, M., Rydval, J. & Schrottenloher, A., 6 May 2022, In: Discrete mathematics & theoretical computer science. 23, 2, 15 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Piecewise Linear Valued CSPs Solvable by Linear Programming RelaxationBodirsky, M., Mamino, M. & Viola, C., 1 Jan 2022, In: ACM transactions on computational logic. 23, 1, p. 7:1-7:35, 35 p., 1Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible AtomBodirsky, M. & Knäuer, S., 2022, In: Journal of Artificial Intelligence Research. 75, p. 1701-1744, 44 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Tractable Combinations of Temporal CSPsBodirsky, M., Greiner, J. & Rydval, J., 2022, In: Logical Methods in Computer Science. 18, 2, p. 11:1-11:33, 2Electronic (full-text) versionResearch output: Contribution to journal > Research article

2021

• Solving equation systems in ω -categorical algebrasBodirsky, M. & Quinn-Gregson, T., 1 Dec 2021, In: Journal of Mathematical Logic : JML. 21, 3, 2150020Electronic (full-text) versionResearch output: Contribution to journal > Research article