Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata

Bíró Csaba (előadó)
Eszterházy Károly Főiskola
Johannes Kepler Egyetem
Tajti Tibor (előadó)
Eszterházy Károly Főiskola
Eszterházy Károly Főiskola
Felvétel dátuma: 2013-03-27 11:50:00
Feltöltés ideje: 2013-04-11 09:44:09

Betöltés...