Kompatscher, Michael

1. A complexity dichotomy for poset constraint satisfaction
   2016/02/29 by Kompatscher, Michael, Van Pham, Trung · 3 citations
   #03C05 #03C40 (primary) #06A07 #08A35 (secondary) #08A70 #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)
2. Equations in oligomorphic clones and the Constraint Satisfaction Problem for ω-categorical structures
   2016/12/22 by Barto, Libor, Kompatscher, Michael, Olšák, Miroslav +2 · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Ramsey expansions of metrically homogeneous graphs
   2017/07/09 by Aranda, Andrés, Bradley-Williams, David, Hubička, Jan +4 · 1 citation
   #20B27 #22F50 #37B05 #54E35 #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Logic (math.LO) #Primary: 05D10 #Secondary: 03C15
4. A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoids
   2015/10/01 by Manuel Bodirsky, David Evans, Bodirsky, Manuel +5 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge