Models and algorithms of computational processes for solving hard variants of the Boolean satisfiability problem
Thesis supervisor Co-supervisor / Scientific advisorOfficial reviewers
Zymbler Mikhail Leonidovich
Doctor of Physical and Mathematical Sciences
Federal State Autonomous Educational Institution of Higher Education “South Ural State University (national research university)”, Deputy Director
Download reviewMembers of the Academic Degree Council
Bessmertny Igor A.
Doctor of Science, professor
ITMO University, professor
Bezzateev Sergey V.
Doctor of Science, associate professor
ITMO University, professor
Bobtsov Alexey A.
Doctor of Science, professor
ITMO University, Professor
Bogatyrev Vladimir A.
Doctor of Science
ITMO University, professor
Kholodova Svetlana E.
Doctor of Science, associate professor
ITMO University, associate professor
Lisitsyna Liubov S.
Doctor of Science, professor
ITMO University, professor
Matveev Yuriy N.
Doctor of Science
ITMO University, professor
Ryabko Boris Y.
doctor of engineering, professor
Siberian Branch of Russian Academy of Science, Federal Research Center for Information and Computational Technologies, Head of laboratory
Shalyto Anatoly A.
Doctor of Science, professor
ITMO University, Professor