Dmitriy Zhuk

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 32

Top Topics

Equality Constraints

Conformant Planning

Constraint Satisfaction

Tree Decompositions

Top Venues

J. Multiple Valued Log. Soft Comput.

Publications

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