Dmitriy Zhuk
发表
Dmitriy Zhuk,
2020,
J. ACM.
Dmitriy Zhuk,
Mike Behrisch,
Edith Vargas-García,
2018,
Theory of Computing Systems.
Dmitriy Zhuk,
2020
.
Jakub Oprsal,
Alexandr Kazda,
Dmitriy Zhuk,
2019,
ArXiv.
Barnaby Martin,
Dmitriy Zhuk,
2020,
STOC.
Dmitriy Zhuk,
Stanislav Moiseev,
2013,
2013 IEEE 43rd International Symposium on Multiple-Valued Logic.
Alexandr Kazda,
Dmitriy Zhuk,
2021
.
Dmitriy Zhuk,
2020,
ArXiv.
Dmitriy Zhuk,
2019,
J. Comb. Theory, Ser. A.
Barnaby Martin,
Dmitriy Zhuk,
2015,
ArXiv.
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2017,
MFCS.
Dmitriy Zhuk,
Vladimir Manichev,
Emiliy Feldman,
2019,
IOP Conference Series: Materials Science and Engineering.
Dmitriy Zhuk,
2017,
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Dmitriy Zhuk,
Vladimir Martynyuk,
Vladimir Manichev,
2015
.
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2017,
ArXiv.
Dmitriy Zhuk,
2014,
2014 IEEE 44th International Symposium on Multiple-Valued Logic.
Dmitriy Zhuk,
Dmitriy Zhuk,
2018,
1803.07465.
Alexandr Kazda,
Dmitriy Zhuk,
2019,
ArXiv.
Dmitriy Zhuk,
Dmitriy Zhuk,
2017,
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).
Dmitriy Zhuk,
2020,
ArXiv.
Dmitriy Zhuk,
2011,
2011 41st IEEE International Symposium on Multiple-Valued Logic.
Manuel Bodirsky,
Dmitriy Zhuk,
Albert Vucaj,
2021
.
Libor Barto,
Marcin Kozik,
Dmitriy Zhuk,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dmitriy Zhuk,
2021,
ArXiv.
Alexandr Kazda,
Dmitriy Zhuk,
Peter Mayr,
2021,
ArXiv.
Barnaby Martin,
Dmitriy Zhuk,
2021,
ArXiv.
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation
pdf
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2021,
ArXiv.
Dmitriy Zhuk,
2015
.
Dmitriy Zhuk,
2011
.
Dmitriy Zhuk,
2011
.