Verbitskii Oleg Vasil'evich

Publications in Math-Net.Ru

1. Ramsay problems for spaces with symmetries
   
   Izv. RAN. Ser. Mat., 64:6 (2000),  3–40
2. On the possibility of performing any multi-prover interactive proof in constantly many rounds
   
   Izv. RAN. Ser. Mat., 57:3 (1993),  152–178
3. Optimal algorithms for $\mathbf{co}\mathscr{NP}$-sets and the $\mathscr{EXP}\stackrel{?}{=}\mathscr{NEXP}$ problem
   
   Mat. Zametki, 50:2 (1991),  37–46