A proof of the CSP dichotomy conjecture D Zhuk Journal of the ACM (JACM) 67 (5), 1-78, 2020 | 482 | 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 | 26* | 2015 |
The size of generating sets of powers D Zhuk Journal of Combinatorial Theory, Series A 167, 91-103, 2019 | 19 | 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 | 18 | 2012 |
QCSP monsters and the demise of the Chen Conjecture D Zhuk, B Martin Journal of the ACM 69 (5), 1-44, 2022 | 17 | 2022 |
Strong subalgebras and the constraint satisfaction problem D Zhuk arXiv preprint arXiv:2005.00593, 2020 | 15 | 2020 |
Key (critical) relations preserved by a weak near-unanimity function DN Zhuk Algebra universalis 77 (2), 191-235, 2017 | 14 | 2017 |
Deciding the existence of minority terms A Kazda, J Opršal, M Valeriote, D Zhuk Canadian Mathematical Bulletin 63 (3), 577-591, 2020 | 13 | 2020 |
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 | 11 | 2021 |
An algorithm for constraint satisfaction problem D Zhuk 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 1-6, 2017 | 11 | 2017 |
The predicate method to construct the Post lattice DN Zhuk Walter de Gruyter GmbH & Co. KG 21 (3), 329-344, 2011 | 11 | 2011 |
The existence of a near-unanimity function is decidable DN Zhuk Algebra universalis 71, 31-54, 2014 | 10 | 2014 |
The complexity of quantified constraints using the algebraic formulation C Carvalho, B Martin, D Zhuk arXiv preprint arXiv:1701.04086, 2017 | 9 | 2017 |
Решетка замкнутых классов самодвойственных функций трехзначной логики ДН Жук Интеллектуальные системы 17 (1-4), 302-309, 2013 | 8 | 2013 |
The lattice of closed classes of self-dual functions in three-valued logic D Zhuk Izdatelstvo MGU, 2011 | 8 | 2011 |
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 |