Követés
Zhuk Dmitriy
Zhuk Dmitriy
További nevekZhuk Dmitry, Жук Дмитрий Николаевич
E-mail megerősítve itt: intsys.msu.ru
Cím
Hivatkozott rá
Hivatkozott rá
Év
A proof of the CSP dichotomy conjecture
D Zhuk
Journal of the ACM (JACM) 67 (5), 1-78, 2020
4012020
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
21*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
142012
Deciding the existence of minority terms
A Kazda, J Opršal, M Valeriote, D Zhuk
Canadian Mathematical Bulletin 63 (3), 577-591, 2020
122020
QCSP monsters and the demise of the Chen Conjecture
D Zhuk, B Martin
Journal of the ACM 69 (5), 1-44, 2022
112022
An algorithm for constraint satisfaction problem
D Zhuk
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 1-6, 2017
102017
The predicate method to construct the Post lattice
DN Zhuk
Walter de Gruyter GmbH & Co. KG 21 (3), 329-344, 2011
102011
Key (critical) relations preserved by a weak near-unanimity function
DN Zhuk
Algebra universalis 77 (2), 191-235, 2017
92017
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
Решётка замкнутых классов самодвойственных функций трехзначной логики
ДН Жук
Изд-во Моск. ун-та, 2011
92011
The lattice of closed classes of self-dual functions in three-valued logic
D Zhuk
Izdatelstvo MGU, 2011
82011
Strong subalgebras and the constraint satisfaction problem
D Zhuk
arXiv preprint arXiv:2005.00593, 2020
72020
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
О классификации автоматных базисов Поста по разрешимости свойств A-полноты для дефинитных автоматов
ДН Жук
Дискретная математика 22 (2), 80-95, 2010
62010
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20