Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones

$$\aleph _0$$-categoricity of semigroups II

Autorzy: Thomas Quinn-Gregson
Opublikowane w: Semigroup Forum, 2020, ISSN 0037-1912
Wydawca: Springer Verlag
DOI: 10.1007/s00233-020-10151-0

Taylor’s Modularity Conjecture and Related Problems for Idempotent Varieties

Autorzy: Jakub Opršal
Opublikowane w: Order, Numer 35/3, 2018, Strona(/y) 433-460, ISSN 0167-8094
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11083-017-9441-4

$\omega $-categorical structures avoiding height 1 identities

Autorzy: Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Opublikowane w: Transactions of the American Mathematical Society, Numer 374/1, 2021, Strona(/y) 327-350, ISSN 0002-9947
Wydawca: American Mathematical Society
DOI: 10.1090/tran/8179

A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP

Autorzy: Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Opublikowane w: SIAM Journal on Computing, Numer 50/4, 2021, Strona(/y) 1359-1409, ISSN 0097-5397
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m128466x

Algebraic Approach to Promise Constraint Satisfaction

Autorzy: Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal
Opublikowane w: Journal of the ACM, Numer 68/4, 2021, Strona(/y) 1-66, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3457606

Homomorphism-homogeneity classes of countable L-colored graphs

Autorzy: Andrés Aranda, David Hartman
Opublikowane w: Acta Mathematica Universitatis Comenianae, Numer Vol 88 No 3 (2019): AMUC, 2019, Strona(/y) 377-382, ISSN 0862-9544
Wydawca: Comenius University Press

Deciding the Existence of Minority Terms

Autorzy: Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk
Opublikowane w: Canadian Mathematical Bulletin, Numer 63/3, 2020, Strona(/y) 577-591, ISSN 0008-4395
Wydawca: Canadian Mathematical Society
DOI: 10.4153/s0008439519000651

PROJECTIVE CLONE HOMOMORPHISMS

Autorzy: MANUEL BODIRSKY, MICHAEL PINSKER, ANDRÁS PONGRÁCZ
Opublikowane w: The Journal of Symbolic Logic, 2019, Strona(/y) 1-13, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.23

The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs

Autorzy: Andrés Aranda, David Hartman
Opublikowane w: European Journal of Combinatorics, Numer 85, 2020, Strona(/y) 103063, ISSN 0195-6698
Wydawca: Academic Press
DOI: 10.1016/j.ejc.2019.103063

Smooth digraphs modulo primitive positive constructability and cyclic loop conditions

Autorzy: Manuel Bodirsky, Florian Starke, Albert Vucaj
Opublikowane w: International Journal of Algebra and Computation, Numer 31/05, 2021, Strona(/y) 929-967, ISSN 0218-1967
Wydawca: World Scientific Publishing Co
DOI: 10.1142/s0218196721500442

The Complexity of Phylogeny Constraint Satisfaction Problems

Autorzy: Manuel Bodirsky, Peter Jonsson, Trung Van Pham
Opublikowane w: ACM Transactions on Computational Logic, Numer 18/3, 2017, Strona(/y) 1-42, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3105907

HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS

Autorzy: Thomas Quinn‐Gregson
Opublikowane w: Mathematika, Numer 66/3, 2020, Strona(/y) 733-751, ISSN 0025-5793
Wydawca: University College London, Department of Mathematics
DOI: 10.1112/mtk.12035

A Model-Theoretic View on Qualitative Constraint Reasoning

Autorzy: Manuel Bodirsky, Peter Jonsson
Opublikowane w: Journal of Artificial Intelligence Research, Numer 58, 2017, Strona(/y) 339-385, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.5260

A universal partition result for infinite homogeneous K n -free and related graphs

Autorzy: Andres Aranda, Claude Laflamme, Daniel T. Soukup, Robert Woodrow
Opublikowane w: Discrete Mathematics, Numer 344/1, 2021, Strona(/y) 112153, ISSN 0012-365X
Wydawca: Elsevier BV
DOI: 10.1016/j.disc.2020.112153

A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group

Autorzy: Wenjie Fang, Henri Mühle, Jean-Christophe Novelli
Opublikowane w: The Electronic Journal of Combinatorics, Numer 28/3, 2021, ISSN 1077-8926
Wydawca: Electronic Journal of Combinatorics
DOI: 10.37236/10578

The wonderland of reflections

Autorzy: Libor Barto, Jakub Opršal, Michael Pinsker
Opublikowane w: Israel Journal of Mathematics, Numer 223/1, 2018, Strona(/y) 363-398, ISSN 0021-2172
Wydawca: Magnes Press
DOI: 10.1007/s11856-017-1621-9

Tropically Convex Constraint Satisfaction

Autorzy: Manuel Bodirsky, Marcello Mamino
Opublikowane w: Theory of Computing Systems, Numer 62/3, 2018, Strona(/y) 481-509, ISSN 1432-4350
Wydawca: Springer Verlag
DOI: 10.1007/s00224-017-9762-0

Complexity of term representations of finitary functions

Autorzy: Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal
Opublikowane w: International Journal of Algebra and Computation, Numer 28/06, 2018, Strona(/y) 1101-1118, ISSN 0218-1967
Wydawca: World Scientific Publishing Co
DOI: 10.1142/S0218196718500480

The universal homogeneous binary tree

Autorzy: Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
Opublikowane w: Journal of Logic and Computation, Numer 28/1, 2018, Strona(/y) 133-163, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exx043

Discrete Temporal Constraint Satisfaction Problems

Autorzy: Manuel Bodirsky, Barnaby Martin, Antoine Mottet
Opublikowane w: Journal of the ACM, Numer 65/2, 2018, Strona(/y) 1-41, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3154832

A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoid

Autorzy: Manuel Bodirsky, David Evans, Michael Kompatscher, Michael Pinsker
Opublikowane w: Israel Journal of Mathematics, Numer 224/1, 2018, Strona(/y) 57-82, ISSN 0021-2172
Wydawca: Magnes Press
DOI: 10.1007/s11856-018-1645-9

Constraint Satisfaction Problems for Reducts of Homogeneous Graphs

Autorzy: Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Opublikowane w: SIAM Journal on Computing, Numer 48/4, 2019, Strona(/y) 1224-1264, ISSN 0097-5397
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/16m1082974

A Dichotomy for First-Order Reducts of Unary Structures

Autorzy: Manuel Bodirsky, Antoine Mottet
Opublikowane w: Logical Methods in Computer Science, Numer Volume 14, Numer 2, 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

Solving equation systems in ω-categorical algebras

Autorzy: Manuel Bodirsky, Thomas Quinn-Gregson
Opublikowane w: Journal of Mathematical Logic, 2021, Strona(/y) 2150020, ISSN 0219-0613
Wydawca: Singapore University Press
DOI: 10.1142/s0219061321500203

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Autorzy: Manuel Bodirsky, Marcello Mamino, Caterina Viola
Opublikowane w: ACM Transactions on Computational Logic, Numer 23/1, 2022, Strona(/y) 1-35, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3488721

Balanced independent sets in graphs omitting large cliques

Autorzy: Claude Laflamme, Andres Aranda, Daniel T. Soukup, Robert Woodrow
Opublikowane w: Journal of Combinatorial Theory, Series B, Numer 137, 2019, Strona(/y) 1-9, ISSN 0095-8956
Wydawca: Academic Press
DOI: 10.1016/j.jctb.2018.11.006

Completing graphs to metric spaces

Autorzy: Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Opublikowane w: Electronic Notes in Discrete Mathematics, Numer 61, 2017, Strona(/y) 53-60, ISSN 1571-0653
Wydawca: Elsevier BV
DOI: 10.1016/j.endm.2017.06.020

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Autorzy: Manuel Bodirsky, Johannes Greiner
Opublikowane w: Logical Methods in Computer Science, Numer Volume 16, Numer 1, 2020, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:21)2020

Two-element structures modulo primitive positive constructability

Autorzy: Manuel Bodirsky, Albert Vucaj
Opublikowane w: Algebra universalis, Numer 81/2, 2020, ISSN 0002-5240
Wydawca: Birkhauser Verlag
DOI: 10.1007/s00012-020-0647-8

Network satisfaction for symmetric relation algebras with a flexible atom

Autorzy: Manuel Bodirsky, Simon Knäuer
Opublikowane w: 2021
Wydawca: PKP Publishing Services Network

On Logics and Homomorphism Closure

Autorzy: Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Opublikowane w: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470511

IB- and MB-homogeneous graphs

Autorzy: Andrés Aranda
Opublikowane w: Bordeaux Graph Workshop 2019, 2019
Wydawca: LaBRi

MB-Homogeneous graphs and some new HH-homogeneous graphs

Autorzy: Andrés Aranda, David Hartman
Opublikowane w: Acta Mathematica Universitatis Comenianae - EUROCOMB 2019, Numer 88(3), 2019, Strona(/y) 383-387
Wydawca: ACTA MATHEMATICA UNIVERSITATIS COMENIANAE

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Autorzy: Bodirsky, Manuel; Knäuer, Simon; Rudolph, Sebastian
Opublikowane w: Numer 14, 2021
Wydawca: https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16196
DOI: 10.4230/lipics.icalp.2021.120

Constraint Satisfaction Problems over Numeric Domains

Autorzy: Bodirsky, Manuel ; Mamino, Marcello
Opublikowane w: 2017
Wydawca: DROPS, Dagstuhl Research Online Publication Server
DOI: 10.4230/DFU.Vol7.15301.79

The complexity of disjunctive linear Diophantine constraints

Autorzy: Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
Opublikowane w: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 27-31 August 2018 [Conference proceedings], Numer 1, 2018
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Classification Transfer for Qualitative Reasoning Problems

Autorzy: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet
Opublikowane w: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Strona(/y) 1256-1262, ISBN 9780999241127
Wydawca: 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

Autorzy: Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Opublikowane w: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Strona(/y) 105-114, ISBN 9781-450355834
Wydawca: ACM Press
DOI: 10.1145/3209108.3209156

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

Autorzy: Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina
Opublikowane w: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Numer 6, 2018
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Robust algorithms with polynomial loss for near-unanimity CSPs

Autorzy: Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal
Opublikowane w: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, Strona(/y) 340-357, ISBN 978-1-61197-478-2
Wydawca: 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)

Autorzy: Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Opublikowane w: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Strona(/y) 1-12, ISBN 978-1-7281-3608-0
Wydawca: IEEE
DOI: 10.1109/lics.2019.8785883

Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property

Autorzy: Manuel Bodirsky, Bertalan Bodor
Opublikowane w: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470683

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

Autorzy: Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 237-251, ISBN 9781450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394750

Tractable Combinations of Theories via Sampling

Autorzy: Manuel Bodirsky, Johannes Greiner
Opublikowane w: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Numer 12678, 2021, Strona(/y) 133-146, ISBN 978-3-030-75774-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-75775-5_10

Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables

Autorzy: Manuel Bodirsky, Marcello Mamino, Caterina Viola
Opublikowane w: Graphs and Combinatorial Optimization: from Theory to Applications - CTW2020 Proceedings, Numer 5, 2021, Strona(/y) 265-276, ISBN 978-3-030-63071-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-63072-0_21

ASNP: A Tame Fragment of Existential Second-Order Logic

Autorzy: Manuel Bodirsky, Simon Knäuer, Florian Starke
Opublikowane w: Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, Numer 12098, 2020, Strona(/y) 149-162, ISBN 978-3-030-51465-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-51466-2_13

Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Autorzy: Manuel Bodirsky, Johannes Greiner
Opublikowane w: Automated Reasoning, Numer 10900, 2018, Strona(/y) 263-278, ISBN 978-3-319-94204-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_18

Finite Relation Algebras with Normal Representations

Autorzy: Manuel Bodirsky
Opublikowane w: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings, Numer 11194, 2018, Strona(/y) 3-17, ISBN 978-3-030-02148-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02149-8_1

Hardness of Network Satisfaction for Relation Algebras with Normal Representations

Autorzy: Manuel Bodirsky, Simon Knäuer
Opublikowane w: Relational and Algebraic Methods in Computer Science, 2020, Strona(/y) 31-46, ISBN 9783030435196
Wydawca: Springer

Revisiting Generalizations of the Dehn--Sommerville Relations

Autorzy: Cesar Ceballos, Henri Mühle
Opublikowane w: 2021
Wydawca: preprint

The poset of morphism-extension classes of countable graphs

Autorzy: Andrés Aranda
Opublikowane w: Mathematica slovaca, 2021, ISSN 1337-2211
Wydawca: Mathematical Institute Slovak Academy of Sciences

Classification of $\omega$-categorical monadically stable structures

Autorzy: Bodor, Bertalan
Opublikowane w: Numer 2, 2020
Wydawca: arxiv.org

Publikacje

Udostępnij tę stronę

Pobierz