A proof of the CSP dichotomy conjecture D Zhuk Journal of the ACM (JACM) 67 (5), 1-78, 2020 | 401 | 2020 |
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 | 18 | 2019 |
The cardinality of the set of all clones containing a given minimal clone on three elements DN Zhuk Algebra universalis 68, 295-320, 2012 | 14 | 2012 |
Deciding the existence of minority terms A Kazda, J Opršal, M Valeriote, D Zhuk Canadian Mathematical Bulletin 63 (3), 577-591, 2020 | 12 | 2020 |
QCSP monsters and the demise of the Chen Conjecture D Zhuk, B Martin Journal of the ACM 69 (5), 1-44, 2022 | 11 | 2022 |
An algorithm for constraint satisfaction problem D Zhuk 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 1-6, 2017 | 10 | 2017 |
The predicate method to construct the Post lattice DN Zhuk Walter de Gruyter GmbH & Co. KG 21 (3), 329-344, 2011 | 10 | 2011 |
Key (critical) relations preserved by a weak near-unanimity function DN Zhuk Algebra universalis 77 (2), 191-235, 2017 | 9 | 2017 |
The complexity of quantified constraints using the algebraic formulation C Carvalho, B Martin, D Zhuk arXiv preprint arXiv:1701.04086, 2017 | 9 | 2017 |
The existence of a near-unanimity function is decidable DN Zhuk Algebra universalis 71, 31-54, 2014 | 9 | 2014 |
Решётка замкнутых классов самодвойственных функций трехзначной логики ДН Жук Изд-во Моск. ун-та, 2011 | 9 | 2011 |
The lattice of closed classes of self-dual functions in three-valued logic D Zhuk Izdatelstvo MGU, 2011 | 8 | 2011 |
Strong subalgebras and the constraint satisfaction problem D Zhuk arXiv preprint arXiv:2005.00593, 2020 | 7 | 2020 |
No-rainbow problem is NP-hard D Zhuk arXiv preprint arXiv:2003.11764, 2020 | 7 | 2020 |
On the clones containing a near-unanimity function D Zhuk, S Moiseev 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 129-134, 2013 | 7 | 2013 |
A modification of the CSP algorithm for infinite languages D Zhuk arXiv preprint arXiv:1803.07465, 2018 | 6 | 2018 |
On CSP dichotomy conjecture D Zhuk Arbeitstagung Allgemeine Algebra AAA’92, 32, 2016 | 6 | 2016 |
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 | 6 | 2011 |
О классификации автоматных базисов Поста по разрешимости свойств A-полноты для дефинитных автоматов ДН Жук Дискретная математика 22 (2), 80-95, 2010 | 6 | 2010 |