Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav Galois connections for patterns: an algebra of labelled graphs. (English) Zbl 1467.68176 Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021). MSC: 68T30 05C78 06A15 68R10 PDF BibTeX XML Cite \textit{D. A. Cohen} et al., Lect. Notes Comput. Sci. 12640, 125--150 (2021; Zbl 1467.68176) Full Text: DOI OpenURL
Fulla, Peter; Živný, Stanislav A Galois connection for weighted (relational) clones of infinite size. (English) Zbl 1427.68120 ACM Trans. Comput. Theory 8, No. 3, Article No. 9, 21 p. (2016). MSC: 68Q25 06A15 08A40 08A70 PDF BibTeX XML Cite \textit{P. Fulla} and \textit{S. Živný}, ACM Trans. Comput. Theory 8, No. 3, Article No. 9, 21 p. (2016; Zbl 1427.68120) Full Text: DOI arXiv Link OpenURL
Fulla, Peter; Živný, Stanislav A Galois connection for valued constraint languages of infinite size. (English) Zbl 1440.68115 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, 517-528 (2015). MSC: 68Q25 06A15 08A40 08A70 PDF BibTeX XML Cite \textit{P. Fulla} and \textit{S. Živný}, Lect. Notes Comput. Sci. 9134, 517--528 (2015; Zbl 1440.68115) Full Text: DOI OpenURL
Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav An algebraic theory of complexity for discrete optimization. (English) Zbl 1305.08007 SIAM J. Comput. 42, No. 5, 1915-1939 (2013). Reviewer: Václav Koubek (Praha) MSC: 08A70 06A15 68W40 68Q25 68Q17 90C27 PDF BibTeX XML Cite \textit{D. A. Cohen} et al., SIAM J. Comput. 42, No. 5, 1915--1939 (2013; Zbl 1305.08007) Full Text: DOI arXiv Link OpenURL
Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav An algebraic theory of complexity for valued constraints: establishing a Galois connection. (English) Zbl 1343.68106 Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 231-242 (2011). MSC: 68Q25 06A15 90C60 PDF BibTeX XML Cite \textit{D. A. Cohen} et al., Lect. Notes Comput. Sci. 6907, 231--242 (2011; Zbl 1343.68106) Full Text: DOI OpenURL