Birth date: 28.12.1980
E-mail:
Website: http://logic.pdmi.ras.ru/~arist/

Subject:

Complexity theory, SAT.

Publications in Math-Net.Ru

Personal pages:

• 
• 

Organisations:

• St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences