E-LIB Suche - Ergebnisse für: Zhuk, Dmitriy

1

Submaximal clones over a three-element set up to minor-equi..:

Vucaj, Albert ; Zhuk, Dmitriy
Algebra universalis. 85 (2024) 2 - p. , 2024

Link: https://doi.org/10.1007/..

2

Unifying the Three Algebraic Approaches to the CSP via Mini..:

Barto, Libor ; Brady, Zarathustra ; Bulatov, Andrei..
TheoretiCS. 3 (2024) - p. , 2024

Link: https://doi.org/10.46298..

3

The Complexity of Quantified Constraints: Collapsibility, S..:

Carvalho, Catarina ; Madelaine, Florent ; Martin, Barnaby.
ACM Transactions on Computational Logic. 24 (2023) 1 - p. 1-26 , 2023

Link: https://doi.org/10.1145/..

4

QCSP Monsters and the Demise of the Chen Conjecture:

Zhuk, Dmitriy ; Martin, Barnaby
Journal of the ACM. 69 (2022) 5 - p. 1-44 , 2022

Link: https://doi.org/10.1145/..

5

Small Promise CSPs that reduce to large CSPs:

Kazda, Alexandr ; Mayr, Peter ; Zhuk, Dmitriy
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

6

Existence of cube terms in finite algebras:

Kazda, Alexandr ; Zhuk, Dmitriy
Algebra universalis. 82 (2021) 1 - p. , 2021

Link: https://doi.org/10.1007/..

7

Minimal taylor algebras as a common framework for the three..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Barto, Libor ; Brady, Zarathustra ; Bulatov, Andrei.. - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

8

Minimal Taylor Algebras as a Common Framework for the Three..:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Barto, Libor ; Brady, Zarathustra ; Bulatov, Andrei.. - p. 1-13 , 2021

Link: https://doi.org/10.1109/..

9

No-rainbow problem and the surjective constraint satisfacti..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Zhuk, Dmitriy - p. 1-7 , 2021

Link: https://dl.acm.org/doi/1..

10

No-Rainbow Problem and the Surjective Constraint Satisfacti..:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Zhuk, Dmitriy - p. 1-7 , 2021

Link: https://doi.org/10.1109/..

11

A Proof of the CSP Dichotomy Conjecture:

Zhuk, Dmitriy
Journal of the ACM. 67 (2020) 5 - p. 1-78 , 2020

Link: https://doi.org/10.1145/..

12

QCSP monsters and the demise of the chen conjecture:

, In: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing,

Zhuk, Dmitriy ; Martin, Barnaby - p. 91-104 , 2020

Link: https://dl.acm.org/doi/1..

13

A Proof of the CSP Dichotomy Conjecture:

Zhuk, Dmitriy
Journal of the ACM (JACM). 67 (2020) 5 - p. 1-78 , 2020

Link: https://dl.acm.org/doi/1..

14

The basic set of test problems for ODE system solvers:

Manichev, Vladimir ; Zhuk, Dmitriy ; Feldman, Emiliy
IOP Conference Series: Materials Science and Engineering. 630 (2019) 1 - p. 012012 , 2019

Link: https://doi.org/10.1088/..

15

The size of generating sets of powers:

Zhuk, Dmitriy
Journal of Combinatorial Theory, Series A. 167 (2019) - p. 91-103 , 2019

Link: https://doi.org/10.1016/..