Dmitriy Zhuk

1. Strong subalgebras and the Constraint Satisfaction Problem
   2020/05/01 by Dmitriy Zhuk, Zhuk, Dmitriy · 1 citation
   Computer Science · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA) #semigroups and automata theory
2. Π₂^P vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
   2024/04/05 by Dmitriy Zhuk, Zhuk, Dmitriy · 1 voice
   Computer Science · Engineering · Mathematics · #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Optimization and Packing Problems #Scheduling and Optimization Algorithms #cs.CC #cs.LO #math.LO
3. A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
   2024/04/01 by Dmitriy Zhuk, Zhuk, Dmitriy · 2 voices
   Computer Science · Mathematics · #Advanced Topics in Algebra #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA) #cs.CC #cs.LO #math.RA
4. The lattice of clones of self-dual operations collapsed
   2021/09/03 by Manuel Bodirsky, Bodirsky, Manuel, Albert Vucaj +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Rings and Algebras (math.RA) #semigroups and automata theory
5. Submaximal clones over a three-element set up to minor-equivalence
   2023/04/25 by Albert Vucaj, Vucaj, Albert, Dmitriy Zhuk +1 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topics in Algebra #FOS: Mathematics #Rings and Algebras (math.RA) #Rings, Modules, and Algebras