Вербицкий Олег Васильевич

Публикации в базе данных Math-Net.Ru

1. Рамсеевские задачи для пространств с симметриями
   
   Изв. РАН. Сер. матем., 64:6 (2000),  3–40
2. О возможности проведения любого активного доказательства за ограниченное число раундов
   
   Изв. РАН. Сер. матем., 57:3 (1993),  152–178
3. Оптимальные алгоритмы для $\mathbf{co}\mathscr{NP}$-множеств и проблема $\mathscr{EXP}\stackrel{?}{=}\mathscr{NEXP}$
   
   Матем. заметки, 50:2 (1991),  37–46