Smooth approximations and CSPs over finitely bounded homogeneous structures
From MaRDI portal
Cites work
- \( \omega \)-categorical structures avoiding height 1 identities
- H-coloring dichotomy revisited
- A complexity dichotomy for poset constraint satisfaction
- A complexity dichotomy for poset constraint satisfaction
- A dichotomy for first-order reducts of unary structures
- A model-theoretic view on qualitative constraint reasoning
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
- A proof of the CSP dichotomy conjecture
- A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP
- All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
- An algebraic approach to multi-sorted constraints
- Automorphism groups and Ramsey properties of sparse graphs
- Bounded width problems and algebras
- Canonical functions: a proof via topological dynamics
- Characterizations of several Maltsev conditions.
- Constraint satisfaction problems for reducts of homogeneous graphs
- Constraint Satisfaction Problems Solvable by Local Consistency Methods
- Constraint Satisfaction with Countable Homogeneous Templates
- Cores of Countably Categorical Structures
- CORES OVER RAMSEY STRUCTURES
- Decidability of definability
- Discrete temporal constraint satisfaction problems
- Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
- Existence theorems for weakly symmetric operations
- scientific article; zbMATH DE number 5485512 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 7650924 (Why is no real title available?)
- Minimal functions on the random graph
- Non-dichotomies in Constraint Satisfaction Complexity
- On the relational width of first-order expansions of finitely bounded homogeneous binary cores with bounded strict width
- On the Structure of Polynomial Time Reducibility
- Ontology-based data access: a study through disjunctive Datalog, CSP, and MMSNP
- PROJECTIVE CLONE HOMOMORPHISMS
- Ramsey classes of set systems
- Ramsey classes: examples and constructions
- Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
- Reducts of Ramsey structures
- Reducts of the random graph
- Temporal constraint satisfaction problems in fixed-point logic
- The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- The complexity of phylogeny constraint satisfaction
- The complexity of satisfiability problems
- The complexity of temporal constraint satisfaction problems
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems
- The reducts of equality up to primitive positive interdefinability
- The structure of finite algebras
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- The wonderland of reflections
- Topological Birkhoff
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
- Transitivity of permutation groups on unordered sets
- Uniform Birkhoff
- Universal Horn Sentences and the Joint Embedding Property
- When symmetries are not enough: a hierarchy of hard constraint satisfaction problems
Cited in
(6)- Promise and infinite-domain constraint satisfaction
- An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
- Homogeneity and homogenizability: hard problems for the logic SNP
- An order out of nowhere: a new algorithm for infinite-domain CSPs
- A complexity dichotomy in spatial reasoning via Ramsey theory
- Generalized completion problems with forbidden tournaments
This page was built for publication: Smooth approximations and CSPs over finitely bounded homogeneous structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649468)
