Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata
Examination of parallelisation on look-ahead based SAT solvers
Biró Csaba <>
EKF
Kovásznai Gergely Dr. <>
Johannes Kepler University
Tajti Tibor <>
EKF
Kusper Gábor Dr. <>
EKF
Geda Gábor Dr. <>
EKF
| Kivonat (Abstract) | Dolgozat (Essay) | Előadás (Presentation) | Egyéb fájlok (additional files) | |
|
|
|
|
|