Bodirsky, Manuel; Bulín, Jakub; Starke, Florian; Wernthaler, Michael The smallest hard trees. (English) Zbl 1521.05019 Constraints 28, No. 2, 105-137 (2023). MSC: 05C05 05C60 68Q17 68Q25 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Constraints 28, No. 2, 105--137 (2023; Zbl 1521.05019) Full Text: DOI arXiv
Bodirsky, Manuel; Starke, Florian; Vucaj, Albert Smooth digraphs modulo primitive positive constructability and cyclic loop conditions. (English) Zbl 1502.08004 Int. J. Algebra Comput. 31, No. 5, 929-967 (2021). MSC: 08A40 05C20 08B05 05C38 08A70 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Int. J. Algebra Comput. 31, No. 5, 929--967 (2021; Zbl 1502.08004) Full Text: DOI arXiv
Bodirsky, Manuel; Vucaj, Albert Two-element structures modulo primitive positive constructability. (English) Zbl 1477.08003 Algebra Univers. 81, No. 2, Paper No. 20, 17 p. (2020). MSC: 08A40 08A70 08B05 68Q17 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{A. Vucaj}, Algebra Univers. 81, No. 2, Paper No. 20, 17 p. (2020; Zbl 1477.08003) Full Text: DOI arXiv
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András Constraint satisfaction problems for reducts of homogeneous graphs. (English) Zbl 1430.68121 SIAM J. Comput. 48, No. 4, 1224-1264 (2019). MSC: 68Q25 03C15 05C55 05C75 08A70 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., SIAM J. Comput. 48, No. 4, 1224--1264 (2019; Zbl 1430.68121) Full Text: DOI
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael Distance constraint satisfaction problems. (English) Zbl 1336.68116 Inf. Comput. 247, 87-105 (2016). MSC: 68Q25 03B70 68Q17 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Inf. Comput. 247, 87--105 (2016; Zbl 1336.68116) Full Text: DOI arXiv
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine Constraint satisfaction problems over the integers with successor. (English) Zbl 1440.68111 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 256-267 (2015). MSC: 68Q25 03B70 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Lect. Notes Comput. Sci. 9134, 256--267 (2015; Zbl 1440.68111) Full Text: DOI arXiv Link
Bodirsky, Manuel; Kára, Jan; Martin, Barnaby The complexity of surjective homomorphism problems-a survey. (English) Zbl 1246.05104 Discrete Appl. Math. 160, No. 12, 1680-1690 (2012). MSC: 05C60 68Q17 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Discrete Appl. Math. 160, No. 12, 1680--1690 (2012; Zbl 1246.05104) Full Text: DOI
Bodirsky, Manuel; Chen, Hubie Peek arc consistency. (English) Zbl 1186.68458 Theor. Comput. Sci. 411, No. 2, 445-453 (2010). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{H. Chen}, Theor. Comput. Sci. 411, No. 2, 445--453 (2010; Zbl 1186.68458) Full Text: DOI
Bodirsky, Manuel; Chen, Hubie; Kára, Jan; von Oertzen, Timo Maximal infinite-valued constraint languages. (English) Zbl 1172.68052 Theor. Comput. Sci. 410, No. 18, 1684-1693 (2009). MSC: 68T20 03C35 08A70 68Q25 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Theor. Comput. Sci. 410, No. 18, 1684--1693 (2009; Zbl 1172.68052) Full Text: DOI
Bodirsky, Manuel Constraint satisfaction problems with infinite templates. (English) Zbl 1171.03320 Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 196-228 (2008). MSC: 03B70 08A70 PDFBibTeX XMLCite \textit{M. Bodirsky}, Lect. Notes Comput. Sci. 5250, 196--228 (2008; Zbl 1171.03320) Full Text: DOI