• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Laboratory of Theoretical Computer Science

Publications
Book
Special Issue on Computer Science Symposium in Russia

Edited by: Ф. В. Фомин, V. V. Podolskii.

Vol. 64. Iss. 1. Springer, 2020.

Article
Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

Boros E., Gurvich V., Milanič M. et al.

Journal of Graph Theory. 2025. Vol. 109. No. 4. P. 466-480.

Book chapter
Disjunctive Complexity

Ivanov N., Rubtsov A. A., Vyalyi M.

In bk.: Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings. Springer, 2025. P. 137-150.

Working paper
Low Sets and Closure Properties of Counting Function Classes

Ivanashev Y.

arxiv.org. Computer Science. Cornell University, 2025

About the Laboratory

The Laboratory  of Theoretical Computer Science  was founded in December 2015. Structurally, it is a part of Big Data and Information Retrieval School at the Faculty of Computer Science.

The main research directions of the laboratory are computational complexity, algorithmic information theory, algorithmic statistics, combinatorial optimization, algorithmic aspects of game theory.