Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata
Owner: Videotorium admin
Categories: Informatics, Distributed computing
Playlists: Szuperszámítástechnika, adattárolás, felhő-rendszerek
Bíró Csaba
(előadó)
Eszterházy Károly College
Kovásznai Gergely
(előadó)
Johannes Kepler University
Tajti Tibor
(előadó)
Eszterházy Károly College
Dr. Kusper Gábor
(előadó)
Eszterházy Károly College
Recording date: 2013-03-27 11:50:00
Upload time: 2013-04-11 09:44:09