Zhuk Dmitriy
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
2902020
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
18*2015
The size of generating sets of powers
D Zhuk
Journal of Combinatorial Theory, Series A 167, 91-103, 2019
172019
The cardinality of the set of all clones containing a given minimal clone on three elements
DN Zhuk
Algebra universalis 68 (3), 295-320, 2012
142012
The predicate method to construct the Post lattice
DN Zhuk
Walter de Gruyter GmbH & Co. KG 21 (3), 329-344, 2011
92011
Решётка замкнутых классов самодвойственных функций трехзначной логики
ДН Жук
Изд-во Моск. ун-та, 2011
92011
The complexity of quantified constraints using the algebraic formulation
C Carvalho, B Martin, D Zhuk
arXiv preprint arXiv:1701.04086, 2017
82017
The lattice of closed classes of self-dual functions in three-valued logic
D Zhuk
Izdatelstvo MGU, 2011
82011
QCSP monsters and the demise of the Chen Conjecture
D Zhuk, B Martin
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing …, 2020
72020
An algorithm for constraint satisfaction problem
D Zhuk
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 1-6, 2017
72017
Key (critical) relations preserved by a weak near-unanimity function
DN Zhuk
Algebra universalis 77 (2), 191-235, 2017
72017
The existence of a near-unanimity function is decidable
DN Zhuk
Algebra universalis 71 (1), 31-54, 2014
72014
Deciding the existence of minority terms
A Kazda, J Opršal, M Valeriote, D Zhuk
Canadian Mathematical Bulletin 63 (3), 577-591, 2020
62020
On CSP dichotomy conjecture
D Zhuk
Arbeitstagung Allgemeine Algebra AAA’92, 32, 2016
62016
On the clones containing a near-unanimity function
D Zhuk, S Moiseev
2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 129-134, 2013
62013
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
No-rainbow problem is NP-hard
D Zhuk
CoRR, 2020
52020
A modification of the CSP algorithm for infinite languages
D Zhuk
arXiv preprint arXiv:1803.07465, 2018
52018
Предикатный метод построения решетки Поста
ДН Жук
Дискретная математика 23 (2), 115-128, 2011
52011
О проблеме полноты в классе автоматов без обратной связи
ДН Жук, ЮН Присмотров
Интеллектуальные системы 11 (1-4), 439-472, 2007
52007
The system can't perform the operation now. Try again later.
Articles 1–20