The Random K-SAT Problem: Solution Space Transitions and Random Walk Heuristics
Tapahtuman tyyppi:
HIIT seminaari
Aika:
13.05.2011 - 10:15 - 11:00
Luennoija:
Haijun Zhou
Paikka:
Kumpula Exactum C222