Dmitriy Zhuk - RankMe

39 papers A* 6B 1Journal 28Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Singleton algorithms for the Constraint Satisfaction Problem. CoRR Dmitriy Zhuk
2025	J	`jnl`	\(\boldsymbol{\Pi_2^P}\) vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem. SIAM J. Comput. Dmitriy Zhuk
2024	J	`jnl`	A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations. CoRR Dmitriy Zhuk
2024	J	`jnl`	Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras. TheoretiCS Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
2024	J	`jnl`	Π CoRR Dmitriy Zhuk
2024	A*	`conf`	∏ FOCS Dmitriy Zhuk
2023	J	`jnl`	The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. ACM Trans. Comput. Log. Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
2023	A*	`conf`	The complete classification for quantified equality constraints. SODA Dmitriy Zhuk, Barnaby Martin, Michal Wrona
2023	J	`jnl`	The lattice of clones of self-dual operations collapsed. Int. J. Algebra Comput. Manuel Bodirsky, Albert Vucaj, Dmitriy Zhuk
2022	J	`jnl`	QCSP Monsters and the Demise of the Chen Conjecture. J. ACM Dmitriy Zhuk, Barnaby Martin
2022	J	`jnl`	Small Promise CSPs that reduce to large CSPs. Log. Methods Comput. Sci. Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
2021	A*	`conf`	Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. LICS Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
2021	J	`jnl`	Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. CoRR Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
2021	A*	`conf`	No-Rainbow Problem and the Surjective Constraint Satisfaction Problem. LICS Dmitriy Zhuk
2021	J	`jnl`	Small PCSPs that reduce to large CSPs. CoRR Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
2021	J	`jnl`	Strong Subalgebras and the Constraint Satisfaction Problem. J. Multiple Valued Log. Soft Comput. Dmitriy Zhuk
2021	J	`jnl`	The complete classification for quantified equality constraints. CoRR Dmitriy Zhuk, Barnaby Martin
2021	J	`jnl`	The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation. CoRR Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk
2021	J	`jnl`	The complexity of the Quantified CSP having the polynomially generated powers property. CoRR Dmitriy Zhuk
2020	J	`jnl`	A Proof of the CSP Dichotomy Conjecture. J. ACM Dmitriy Zhuk
2020	J	`jnl`	No-Rainbow Problem is NP-Hard. CoRR Dmitriy Zhuk
2020	A*	`conf`	QCSP monsters and the demise of the chen conjecture. STOC Dmitriy Zhuk, Barnaby Martin
2020	J	`jnl`	Strong subalgebras and the Constraint Satisfaction Problem. CoRR Dmitriy Zhuk
2019	J	`jnl`	Deciding the existence of minority terms. CoRR Alexandr Kazda, Jakub Oprsal, Matt Valeriote, Dmitriy Zhuk
2019	J	`jnl`	Existence of cube terms in finite finitely generated clones. CoRR Alexandr Kazda, Dmitriy Zhuk
2019	J	`jnl`	QCSP monsters and the demise of the Chen Conjecture. CoRR Dmitriy Zhuk, Barnaby Martin
2019	J	`jnl`	The Number of Clones Determined by Disjunctions of Unary Relations. Theory Comput. Syst. Mike Behrisch, Edith Vargas-García, Dmitriy Zhuk
2019	J	`jnl`	The size of generating sets of powers. J. Comb. Theory A Dmitriy Zhuk
2018	J	`jnl`	A modifiction of the CSP algorithm for infinite languages. CoRR Dmitriy Zhuk
2017	A*	`conf`	A Proof of CSP Dichotomy Conjecture. FOCS Dmitriy Zhuk
2017	—	`conf`	An Algorithm for Constraint Satisfaction Problem. ISMVL Dmitriy Zhuk
2017	B	`conf`	The Complexity of Quantified Constraints Using the Algebraic Formulation. MFCS Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
2017	J	`jnl`	The Proof of CSP Dichotomy Conjecture. CoRR Dmitriy Zhuk
2017	J	`jnl`	The complexity of quantified constraints. CoRR Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
2015	J	`jnl`	Switchability and collapsibility of Gap Algebras. CoRR Barnaby Martin, Dmitriy Zhuk
2015	J	`jnl`	The Lattice of All Clones of Self-Dual Functions in Three-Valued Logic. J. Multiple Valued Log. Soft Comput. Dmitriy Zhuk
2014	—	`conf`	On Key Relations Preserved by a Weak Near-Unanimity Function. ISMVL Dmitriy Zhuk
2013	—	`conf`	On the Clones Containing a Near-Unanimity Function. ISMVL Dmitriy Zhuk, Stanislav Moiseev
2011	—	`conf`	The Lattice of the Clones of Self-Dual Functions in Three-Valued Logic. ISMVL Dmitriy Zhuk