Fedin Sergey Sergeyevich

Publications in Math-Net.Ru

1. Automated proofs of upper bounds on the running time of splitting algorithms
   
   Zap. Nauchn. Sem. POMI, 316 (2004),  111–128
2. A $2^{|E|/4}$-time Algorithm for MAX-CUT
   
   Zap. Nauchn. Sem. POMI, 293 (2002),  129–138