Publication | Date of Publication | Type |
---|
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems | 2023-09-27 | Paper |
The smallest hard trees | 2023-09-15 | Paper |
Forbidden Tournaments and the Orientation Completion Problem | 2023-09-15 | Paper |
The lattice of clones of self-dual operations collapsed | 2023-07-18 | Paper |
Network Satisfaction Problems Solved by k-Consistency | 2023-04-25 | Paper |
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom | 2023-01-09 | Paper |
ASNP: a tame fragment of existential second-order logic | 2022-12-16 | Paper |
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation | 2022-12-08 | Paper |
Complexity Classification Transfer for CSPs via Algebraic Products | 2022-11-07 | Paper |
Universal Horn Sentences and the Joint Embedding Property | 2022-09-30 | Paper |
Hardness of Network Satisfaction for Relation Algebras with Normal Representations | 2022-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5094139 | 2022-08-02 | Paper |
Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields | 2022-06-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5079734 | 2022-05-28 | Paper |
Asymptotic Theories of Classes Defined by Forbidden Homomorphisms | 2022-04-04 | Paper |
Piecewise linear valued constraint satisfaction problems with fixed number of variables | 2021-12-08 | Paper |
Tractable combinations of theories via sampling | 2021-12-01 | Paper |
Solving equation systems in ω-categorical algebras | 2021-11-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5154970 | 2021-10-05 | Paper |
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP | 2021-09-10 | Paper |
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions | 2021-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q5005133 | 2021-08-04 | Paper |
PROJECTIVE CLONE HOMOMORPHISMS | 2021-07-12 | Paper |
Permutation groups with small orbit growth | 2021-07-08 | Paper |
Constraint Satisfaction Problems over Numeric Domains | 2021-06-15 | Paper |
Complexity of Infinite-Domain Constraint Satisfaction | 2021-05-05 | Paper |
On Logics and Homomorphism Closure | 2021-04-24 | Paper |
Maximal Digraphs With Respect to Primitive Positive Constructibility | 2021-03-15 | Paper |
Temporal Constraint Satisfaction Problems in Fixed-Point Logic | 2021-01-21 | Paper |
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP | 2021-01-20 | Paper |
𝜔-categorical structures avoiding height 1 identities | 2020-12-18 | Paper |
Tractable Combinations of Temporal CSPs | 2020-12-10 | Paper |
Tractable Combinations of Theories via Sampling | 2020-12-02 | Paper |
Datalog-Expressibility for Monadic and Guarded Second-Order Logic | 2020-10-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5109509 | 2020-05-12 | Paper |
Two-element structures modulo primitive positive constructability | 2020-04-06 | Paper |
ASNP: a tame fragment of existential second-order logic | 2020-01-22 | Paper |
Solving Equation Systems in $\omega$-categorical Algebras | 2019-12-20 | Paper |
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs | 2019-09-02 | Paper |
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) | 2019-01-14 | Paper |
Discrete Temporal Constraint Satisfaction Problems | 2018-12-06 | Paper |
Finite relation algebras with normal representations | 2018-11-08 | Paper |
Complexity of combinations of qualitative constraint satisfaction problems | 2018-10-18 | Paper |
Structures with Small Orbit Growth | 2018-10-12 | Paper |
The universal homogeneous binary tree | 2018-09-28 | Paper |
The complexity of disjunctive linear Diophantine constraints | 2018-07-03 | Paper |
A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid | 2018-06-29 | Paper |
Tropically convex constraint satisfaction | 2018-06-01 | Paper |
A Dichotomy for First-Order Reducts of Unary Structures | 2018-05-30 | Paper |
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction | 2018-04-23 | Paper |
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains | 2018-04-05 | Paper |
The Complexity of Phylogeny Constraint Satisfaction | 2018-01-24 | Paper |
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems | 2018-01-18 | Paper |
Constraint satisfaction problems for reducts of homogeneous graphs | 2017-12-19 | Paper |
The Complexity of Phylogeny Constraint Satisfaction Problems | 2017-10-16 | Paper |
A topological characterisation of endomorphism monoids of countable structures | 2017-06-22 | Paper |
THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING C-RELATION | 2017-04-28 | Paper |
REDUCTS OF STRUCTURES AND MAXIMAL-CLOSED PERMUTATION GROUPS | 2017-04-28 | Paper |
A Model-Theoretic View on Qualitative Constraint Reasoning | 2017-04-10 | Paper |
Reconstructing the topology of clones | 2017-02-09 | Paper |
The Complexity of Constraint Satisfaction Problems (Invited Talk) | 2017-01-24 | Paper |
Ramsey classes: examples and constructions | 2016-12-20 | Paper |
Canonical Functions: a proof via topological dynamics | 2016-10-30 | Paper |
Max-Closed Semilinear Constraint Satisfaction | 2016-07-25 | Paper |
Schaefer's Theorem for Graphs | 2016-03-24 | Paper |
Distance constraint satisfaction problems | 2016-03-10 | Paper |
Constraint Satisfaction Problems over the Integers with Successor | 2015-10-27 | Paper |
The 42 reducts of the random ordered graph | 2015-10-02 | Paper |
A fast algorithm and datalog inexpressibility for temporal reasoning | 2015-09-17 | Paper |
Constraint satisfaction tractability from semi-lattice operations on infinite sets | 2015-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q5501243 | 2015-08-03 | Paper |
Tractability of quantified temporal constraints to the max | 2015-02-24 | Paper |
Topological Birkhoff | 2015-02-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2934614 | 2014-12-18 | Paper |
Projective clone homomorphisms | 2014-09-16 | Paper |
New Ramsey classes from old | 2014-09-04 | Paper |
Minimal functions on the random graph | 2014-06-25 | Paper |
Schaefer's Theorem for Graphs | 2014-06-05 | Paper |
Decidability of Definability | 2014-04-04 | Paper |
Complexity of existential positive first-order logic | 2013-08-27 | Paper |
Datalog and constraint satisfaction with infinite templates | 2013-02-21 | Paper |
Tractable Set Constraints | 2013-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4649542 | 2012-11-22 | Paper |
Essential Convexity and Complexity of Semi-Algebraic Constraints | 2012-10-22 | Paper |
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction | 2012-09-25 | Paper |
On the Complexity of MMSNP | 2012-08-22 | Paper |
The complexity of surjective homomorphism problems-a survey | 2012-08-14 | Paper |
Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction | 2012-06-20 | Paper |
The Complexity of Rooted Phylogeny Problems | 2012-04-02 | Paper |
Reducts of Ramsey structures | 2012-03-02 | Paper |
Complexity Classification in Infinite-Domain Constraint Satisfaction | 2012-01-04 | Paper |
Limit Behavior of Locally Consistent Constraint Satisfaction Problems | 2011-10-27 | Paper |
Boltzmann Samplers, Pólya Theory, and Cycle Pointing | 2011-10-18 | Paper |
\({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations | 2011-05-11 | Paper |
Quantified Equality Constraints | 2011-04-04 | Paper |
The reducts of equality up to primitive positive interdefinability | 2011-01-12 | Paper |
Distance constraint satisfaction problems | 2010-09-03 | Paper |
Integer programming with 2-variable equations and 1-variable inequalities | 2010-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3576723 | 2010-07-30 | Paper |
Complexity of existential positive first-order logic | 2010-07-28 | Paper |
The complexity of temporal constraint satisfaction problems | 2010-07-14 | Paper |
Finite trees are Ramsey under topological embeddings | 2010-02-08 | Paper |
A direct decomposition of 3-connected planar graphs | 2010-01-19 | Paper |
Qualitative Temporal and Spatial Reasoning Revisited | 2010-01-14 | Paper |
Peek arc consistency | 2009-12-15 | Paper |
Semilinear Program Feasibility | 2009-07-14 | Paper |
Determining the consistency of partial tree descriptions | 2009-07-09 | Paper |
Relatively quantified constraint satisfaction | 2009-05-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3625848 | 2009-05-22 | Paper |
LATIN 2004: Theoretical Informatics | 2009-05-07 | Paper |
Maximal infinite-valued constraint languages | 2009-04-29 | Paper |
Enumeration and asymptotic properties of unlabeled outerplanar graphs | 2009-04-07 | Paper |
All reducts of the random graph are model-complete | 2009-03-14 | Paper |
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction | 2009-03-12 | Paper |
Qualitative Temporal and Spatial Reasoning Revisited | 2009-03-05 | Paper |
Constraint Satisfaction Problems with Infinite Templates | 2009-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3549679 | 2009-01-05 | Paper |
Non-dichotomies in Constraint Satisfaction Complexity | 2008-08-19 | Paper |
The complexity of equality constraint languages | 2008-06-17 | Paper |
Generating unlabeled connected cubic planar graphs uniformly at random | 2008-03-28 | Paper |
Datalog and Constraint Satisfaction with Infinite Templates | 2008-03-19 | Paper |
Maximal Infinite-Valued Constraint Languages | 2007-11-28 | Paper |
Enumeration and limit laws for series-parallel graphs | 2007-11-21 | Paper |
Cores of Countably Categorical Structures | 2007-10-11 | Paper |
Oligomorphic clones | 2007-09-03 | Paper |
Generating labeled planar graphs uniformly at random | 2007-07-16 | Paper |
Computer Science Logic | 2007-06-21 | Paper |
The Complexity of Equality Constraint Languages | 2007-05-02 | Paper |
Constraint Satisfaction with Countable Homogeneous Templates | 2007-04-05 | Paper |
Random cubic planar graphs | 2007-02-07 | Paper |
Algorithms and Computation | 2006-11-14 | Paper |
Graph-Theoretic Concepts in Computer Science | 2006-11-01 | Paper |
On the logical complexity of convex polygon dissections | 2006-07-21 | Paper |
Generating Outerplanar Graphs Uniformly at Random | 2006-07-06 | Paper |
STACS 2005 | 2005-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4736847 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449244 | 2004-02-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q2778869 | 2002-03-21 | Paper |