Follow
Zhuk Dmitriy
Zhuk Dmitriy
Other namesZhuk Dmitry, Жук Дмитрий Николаевич
Verified email at intsys.msu.ru
Title
Cited by
Cited by
Year
A proof of the CSP dichotomy conjecture
D Zhuk
Journal of the ACM (JACM) 67 (5), 1-78, 2020
4702020
The lattice of all clones of self-dual functions in three-valued logic
D Zhuk
Journal of Multiple- Valued Logic and Soft Computing 24 (1-4), 251-316, 2015
25*2015
The size of generating sets of powers
D Zhuk
Journal of Combinatorial Theory, Series A 167, 91-103, 2019
182019
The cardinality of the set of all clones containing a given minimal clone on three elements
DN Zhuk
Algebra universalis 68, 295-320, 2012
182012
QCSP monsters and the demise of the Chen Conjecture
D Zhuk, B Martin
Journal of the ACM 69 (5), 1-44, 2022
162022
Strong subalgebras and the constraint satisfaction problem
D Zhuk
arXiv preprint arXiv:2005.00593, 2020
142020
Key (critical) relations preserved by a weak near-unanimity function
DN Zhuk
Algebra universalis 77 (2), 191-235, 2017
132017
Deciding the existence of minority terms
A Kazda, J Opršal, M Valeriote, D Zhuk
Canadian Mathematical Bulletin 63 (3), 577-591, 2020
122020
An algorithm for constraint satisfaction problem
D Zhuk
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 1-6, 2017
112017
The predicate method to construct the Post lattice
DN Zhuk
Walter de Gruyter GmbH & Co. KG 21 (3), 329-344, 2011
112011
Minimal taylor algebras as a common framework for the three algebraic approaches to the CSP
L Barto, Z Brady, A Bulatov, M Kozik, D Zhuk
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
92021
The complexity of quantified constraints using the algebraic formulation
C Carvalho, B Martin, D Zhuk
arXiv preprint arXiv:1701.04086, 2017
92017
The existence of a near-unanimity function is decidable
DN Zhuk
Algebra universalis 71, 31-54, 2014
92014
Решетка замкнутых классов самодвойственных функций трехзначной логики
ДН Жук
Интеллектуальные системы 17 (1-4), 302-309, 2013
82013
The lattice of closed classes of self-dual functions in three-valued logic
D Zhuk
Izdatelstvo MGU, 2011
82011
No-rainbow problem is NP-hard
D Zhuk
arXiv preprint arXiv:2003.11764, 2020
72020
On the clones containing a near-unanimity function
D Zhuk, S Moiseev
2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 129-134, 2013
72013
A modification of the CSP algorithm for infinite languages
D Zhuk
arXiv preprint arXiv:1803.07465, 2018
62018
On CSP dichotomy conjecture
D Zhuk
Arbeitstagung Allgemeine Algebra AAA’92, 32, 2016
62016
The lattice of the clones of self-dual functions in three-valued logic
D Zhuk
2011 41st IEEE International Symposium on Multiple-Valued Logic, 193-197, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20