Van Pham, Trung
- 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)
- The Reducts of the Homogeneous Binary Branching C-relation
2014/08/11 by Bodirsky, Manuel, Jonsson, Peter, Van Pham, Trung · 2 citations
#FOS: Mathematics #Logic (math.LO)
- 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)