Dmitry Sokolov
Research interests:
Proof complexity, communication complexity, structural complexity, algorithms.

Last updated: 23.02.2020

Papers, talks and posters