Publicaciones Peer reviewed articles (29) $$\aleph _0$$-categoricity of semigroups II Autores: Thomas Quinn-Gregson Publicado en: Semigroup Forum, 2020, ISSN 0037-1912 Editor: Springer Verlag DOI: 10.1007/s00233-020-10151-0 Taylor’s Modularity Conjecture and Related Problems for Idempotent Varieties Autores: Jakub Opršal Publicado en: Order, Issue 35/3, 2018, Page(s) 433-460, ISSN 0167-8094 Editor: Kluwer Academic Publishers DOI: 10.1007/s11083-017-9441-4 $\omega $-categorical structures avoiding height 1 identities Autores: Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard Publicado en: Transactions of the American Mathematical Society, Issue 374/1, 2021, Page(s) 327-350, ISSN 0002-9947 Editor: American Mathematical Society DOI: 10.1090/tran/8179 A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP Autores: Manuel Bodirsky, Florent Madelaine, Antoine Mottet Publicado en: SIAM Journal on Computing, Issue 50/4, 2021, Page(s) 1359-1409, ISSN 0097-5397 Editor: Society for Industrial and Applied Mathematics DOI: 10.1137/19m128466x Algebraic Approach to Promise Constraint Satisfaction Autores: Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal Publicado en: Journal of the ACM, Issue 68/4, 2021, Page(s) 1-66, ISSN 0004-5411 Editor: Association for Computing Machinary, Inc. DOI: 10.1145/3457606 Homomorphism-homogeneity classes of countable L-colored graphs Autores: Andrés Aranda, David Hartman Publicado en: Acta Mathematica Universitatis Comenianae, Issue Vol 88 No 3 (2019): AMUC, 2019, Page(s) 377-382, ISSN 0862-9544 Editor: Comenius University Press Deciding the Existence of Minority Terms Autores: Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk Publicado en: Canadian Mathematical Bulletin, Issue 63/3, 2020, Page(s) 577-591, ISSN 0008-4395 Editor: Canadian Mathematical Society DOI: 10.4153/s0008439519000651 PROJECTIVE CLONE HOMOMORPHISMS Autores: MANUEL BODIRSKY, MICHAEL PINSKER, ANDRÁS PONGRÁCZ Publicado en: The Journal of Symbolic Logic, 2019, Page(s) 1-13, ISSN 0022-4812 Editor: Association for Symbolic Logic DOI: 10.1017/jsl.2019.23 The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs Autores: Andrés Aranda, David Hartman Publicado en: European Journal of Combinatorics, Issue 85, 2020, Page(s) 103063, ISSN 0195-6698 Editor: Academic Press DOI: 10.1016/j.ejc.2019.103063 Smooth digraphs modulo primitive positive constructability and cyclic loop conditions Autores: Manuel Bodirsky, Florian Starke, Albert Vucaj Publicado en: International Journal of Algebra and Computation, Issue 31/05, 2021, Page(s) 929-967, ISSN 0218-1967 Editor: World Scientific Publishing Co DOI: 10.1142/s0218196721500442 The Complexity of Phylogeny Constraint Satisfaction Problems Autores: Manuel Bodirsky, Peter Jonsson, Trung Van Pham Publicado en: ACM Transactions on Computational Logic, Issue 18/3, 2017, Page(s) 1-42, ISSN 1529-3785 Editor: Association for Computing Machinary, Inc. DOI: 10.1145/3105907 HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS Autores: Thomas Quinn‐Gregson Publicado en: Mathematika, Issue 66/3, 2020, Page(s) 733-751, ISSN 0025-5793 Editor: University College London, Department of Mathematics DOI: 10.1112/mtk.12035 A Model-Theoretic View on Qualitative Constraint Reasoning Autores: Manuel Bodirsky, Peter Jonsson Publicado en: Journal of Artificial Intelligence Research, Issue 58, 2017, Page(s) 339-385, ISSN 1076-9757 Editor: Morgan Kaufmann Publishers, Inc. DOI: 10.1613/jair.5260 A universal partition result for infinite homogeneous K n -free and related graphs Autores: Andres Aranda, Claude Laflamme, Daniel T. Soukup, Robert Woodrow Publicado en: Discrete Mathematics, Issue 344/1, 2021, Page(s) 112153, ISSN 0012-365X Editor: Elsevier BV DOI: 10.1016/j.disc.2020.112153 A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group Autores: Wenjie Fang, Henri Mühle, Jean-Christophe Novelli Publicado en: The Electronic Journal of Combinatorics, Issue 28/3, 2021, ISSN 1077-8926 Editor: Electronic Journal of Combinatorics DOI: 10.37236/10578 The wonderland of reflections Autores: Libor Barto, Jakub Opršal, Michael Pinsker Publicado en: Israel Journal of Mathematics, Issue 223/1, 2018, Page(s) 363-398, ISSN 0021-2172 Editor: Magnes Press DOI: 10.1007/s11856-017-1621-9 Tropically Convex Constraint Satisfaction Autores: Manuel Bodirsky, Marcello Mamino Publicado en: Theory of Computing Systems, Issue 62/3, 2018, Page(s) 481-509, ISSN 1432-4350 Editor: Springer Verlag DOI: 10.1007/s00224-017-9762-0 Complexity of term representations of finitary functions Autores: Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal Publicado en: International Journal of Algebra and Computation, Issue 28/06, 2018, Page(s) 1101-1118, ISSN 0218-1967 Editor: World Scientific Publishing Co DOI: 10.1142/S0218196718500480 The universal homogeneous binary tree Autores: Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz Publicado en: Journal of Logic and Computation, Issue 28/1, 2018, Page(s) 133-163, ISSN 0955-792X Editor: Oxford University Press DOI: 10.1093/logcom/exx043 Discrete Temporal Constraint Satisfaction Problems Autores: Manuel Bodirsky, Barnaby Martin, Antoine Mottet Publicado en: Journal of the ACM, Issue 65/2, 2018, Page(s) 1-41, ISSN 0004-5411 Editor: Association for Computing Machinary, Inc. DOI: 10.1145/3154832 A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoid Autores: Manuel Bodirsky, David Evans, Michael Kompatscher, Michael Pinsker Publicado en: Israel Journal of Mathematics, Issue 224/1, 2018, Page(s) 57-82, ISSN 0021-2172 Editor: Magnes Press DOI: 10.1007/s11856-018-1645-9 Constraint Satisfaction Problems for Reducts of Homogeneous Graphs Autores: Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz Publicado en: SIAM Journal on Computing, Issue 48/4, 2019, Page(s) 1224-1264, ISSN 0097-5397 Editor: Society for Industrial and Applied Mathematics DOI: 10.1137/16m1082974 A Dichotomy for First-Order Reducts of Unary Structures Autores: Manuel Bodirsky, Antoine Mottet Publicado en: Logical Methods in Computer Science, Issue Volume 14, Issue 2, 2018, ISSN 1860-5974 Editor: Technischen Universitat Braunschweig Solving equation systems in ω-categorical algebras Autores: Manuel Bodirsky, Thomas Quinn-Gregson Publicado en: Journal of Mathematical Logic, 2021, Page(s) 2150020, ISSN 0219-0613 Editor: Singapore University Press DOI: 10.1142/s0219061321500203 Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation Autores: Manuel Bodirsky, Marcello Mamino, Caterina Viola Publicado en: ACM Transactions on Computational Logic, Issue 23/1, 2022, Page(s) 1-35, ISSN 1529-3785 Editor: Association for Computing Machinary, Inc. DOI: 10.1145/3488721 Balanced independent sets in graphs omitting large cliques Autores: Claude Laflamme, Andres Aranda, Daniel T. Soukup, Robert Woodrow Publicado en: Journal of Combinatorial Theory, Series B, Issue 137, 2019, Page(s) 1-9, ISSN 0095-8956 Editor: Academic Press DOI: 10.1016/j.jctb.2018.11.006 Completing graphs to metric spaces Autores: Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk Publicado en: Electronic Notes in Discrete Mathematics, Issue 61, 2017, Page(s) 53-60, ISSN 1571-0653 Editor: Elsevier BV DOI: 10.1016/j.endm.2017.06.020 The Complexity of Combinations of Qualitative Constraint Satisfaction Problems Autores: Manuel Bodirsky, Johannes Greiner Publicado en: Logical Methods in Computer Science, Issue Volume 16, Issue 1, 2020, ISSN 1860-5974 Editor: Technischen Universitat Braunschweig DOI: 10.23638/lmcs-16(1:21)2020 Two-element structures modulo primitive positive constructability Autores: Manuel Bodirsky, Albert Vucaj Publicado en: Algebra universalis, Issue 81/2, 2020, ISSN 0002-5240 Editor: Birkhauser Verlag DOI: 10.1007/s00012-020-0647-8 Conference proceedings (14) Network satisfaction for symmetric relation algebras with a flexible atom Autores: Manuel Bodirsky, Simon Knäuer Publicado en: 2021 Editor: PKP Publishing Services Network On Logics and Homomorphism Closure Autores: Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph Publicado en: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6 Editor: IEEE DOI: 10.1109/lics52264.2021.9470511 IB- and MB-homogeneous graphs Autores: Andrés Aranda Publicado en: Bordeaux Graph Workshop 2019, 2019 Editor: LaBRi MB-Homogeneous graphs and some new HH-homogeneous graphs Autores: Andrés Aranda, David Hartman Publicado en: Acta Mathematica Universitatis Comenianae - EUROCOMB 2019, Issue 88(3), 2019, Page(s) 383-387 Editor: ACTA MATHEMATICA UNIVERSITATIS COMENIANAE Datalog-Expressibility for Monadic and Guarded Second-Order Logic Autores: Bodirsky, Manuel; Knäuer, Simon; Rudolph, Sebastian Publicado en: Issue 14, 2021 Editor: https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16196 DOI: 10.4230/lipics.icalp.2021.120 Constraint Satisfaction Problems over Numeric Domains Autores: Bodirsky, Manuel ; Mamino, Marcello Publicado en: 2017 Editor: DROPS, Dagstuhl Research Online Publication Server DOI: 10.4230/DFU.Vol7.15301.79 The complexity of disjunctive linear Diophantine constraints Autores: Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine Publicado en: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 27-31 August 2018 [Conference proceedings], Issue 1, 2018 Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Classification Transfer for Qualitative Reasoning Problems Autores: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet Publicado en: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1256-1262, ISBN 9780999241127 Editor: International Joint Conferences on Artificial Intelligence Organization DOI: 10.24963/ijcai.2018/175 A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP Autores: Manuel Bodirsky, Florent Madelaine, Antoine Mottet Publicado en: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 105-114, ISBN 9781-450355834 Editor: ACM Press DOI: 10.1145/3209108.3209156 Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains Autores: Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina Publicado en: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Issue 6, 2018 Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Robust algorithms with polynomial loss for near-unanimity CSPs Autores: Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal Publicado en: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, Page(s) 340-357, ISBN 978-1-61197-478-2 Editor: Society for Industrial and Applied Mathematics DOI: 10.1137/1.9781611974782.22 Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) Autores: Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard Publicado en: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-12, ISBN 978-1-7281-3608-0 Editor: IEEE DOI: 10.1109/lics.2019.8785883 Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property Autores: Manuel Bodirsky, Bertalan Bodor Publicado en: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6 Editor: IEEE DOI: 10.1109/lics52264.2021.9470683 Temporal Constraint Satisfaction Problems in Fixed-Point Logic Autores: Manuel Bodirsky, Wied Pakusa, Jakub Rydval Publicado en: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 237-251, ISBN 9781450371049 Editor: ACM DOI: 10.1145/3373718.3394750 Book chapters (6) Tractable Combinations of Theories via Sampling Autores: Manuel Bodirsky, Johannes Greiner Publicado en: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Issue 12678, 2021, Page(s) 133-146, ISBN 978-3-030-75774-8 Editor: Springer International Publishing DOI: 10.1007/978-3-030-75775-5_10 Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables Autores: Manuel Bodirsky, Marcello Mamino, Caterina Viola Publicado en: Graphs and Combinatorial Optimization: from Theory to Applications - CTW2020 Proceedings, Issue 5, 2021, Page(s) 265-276, ISBN 978-3-030-63071-3 Editor: Springer International Publishing DOI: 10.1007/978-3-030-63072-0_21 ASNP: A Tame Fragment of Existential Second-Order Logic Autores: Manuel Bodirsky, Simon Knäuer, Florian Starke Publicado en: Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, Issue 12098, 2020, Page(s) 149-162, ISBN 978-3-030-51465-5 Editor: Springer International Publishing DOI: 10.1007/978-3-030-51466-2_13 Complexity of Combinations of Qualitative Constraint Satisfaction Problems Autores: Manuel Bodirsky, Johannes Greiner Publicado en: Automated Reasoning, Issue 10900, 2018, Page(s) 263-278, ISBN 978-3-319-94204-9 Editor: Springer International Publishing DOI: 10.1007/978-3-319-94205-6_18 Finite Relation Algebras with Normal Representations Autores: Manuel Bodirsky Publicado en: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings, Issue 11194, 2018, Page(s) 3-17, ISBN 978-3-030-02148-1 Editor: Springer International Publishing DOI: 10.1007/978-3-030-02149-8_1 Hardness of Network Satisfaction for Relation Algebras with Normal Representations Autores: Manuel Bodirsky, Simon Knäuer Publicado en: Relational and Algebraic Methods in Computer Science, 2020, Page(s) 31-46, ISBN 9783030435196 Editor: Springer Other (3) Revisiting Generalizations of the Dehn--Sommerville Relations Autores: Cesar Ceballos, Henri Mühle Publicado en: 2021 Editor: preprint The poset of morphism-extension classes of countable graphs Autores: Andrés Aranda Publicado en: Mathematica slovaca, 2021, ISSN 1337-2211 Editor: Mathematical Institute Slovak Academy of Sciences Classification of $\omega$-categorical monadically stable structures Autores: Bodor, Bertalan Publicado en: Issue 2, 2020 Editor: arxiv.org Buscando datos de OpenAIRE... Se ha producido un error en la búsqueda de datos de OpenAIRE No hay resultados disponibles