Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Arist Kojevnikov
Sat, 2010-05-15 22:27 — smal
Personal data
Interests:
proof complexity, exact algorithms, algorithms for SAT
Homepage:
http://logic.pdmi.ras.ru/~arist
Photo:
Former