A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(4 intermediate revisions by 4 users not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q123135727 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5144675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The wonderland of reflections / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cores of Countably Categorical Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Datalog and constraint satisfaction with infinite templates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5109509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Model-Theoretic View on Qualitative Constraint Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: 𝜔-categorical structures avoiding height 1 identities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Satisfaction with Countable Homogeneous Templates / rank
 
Normal rank
Property / cites work
 
Property / cites work: PROJECTIVE CLONE HOMOMORPHISMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(H\)-coloring dichotomy revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying the Complexity of Constraints Using Finite Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995219 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal graphs with forbidden subgraphs and algebraic closure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotone monadic SNP and constraint satisfaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal Structures with Forbidden Homomorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraints, MMSNP and expander relational structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Characterisation of First-Order Constraint Satisfaction Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal Structures and the logic of Forbidden Patterns / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Satisfaction, Logic and Forbidden Patterns / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1137/19m128466x / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3195027657 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:56, 30 July 2024

scientific article; zbMATH DE number 7393743
Language Label Description Also known as
English
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
scientific article; zbMATH DE number 7393743

    Statements

    A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 September 2021
    0 references
    0 references
    constraint satisfaction problems
    0 references
    polymorphisms
    0 references
    monotone monadic SNP
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references