Switch to: References

Add citations

You must login to add citations.
  1. Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham & Michael Pinsker - 2019 - Journal of Mathematical Logic 19 (2):1950010.
    There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural uniformity on (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations