Arist Kojevnikov

Personal data
Interests: 
proof complexity, exact algorithms, algorithms for SAT
Homepage: 
http://logic.pdmi.ras.ru/~arist
Photo: