Grid alapú SAT-solverek vizsgálata
Grid-based SAT solver
Biró Csaba <>
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) | |
|
|
|
|
|
Grid alapú SAT-solverek vizsgálataGrid-based SAT solverBiró Csaba <> EKF Kusper Gábor Dr. <> EKF Geda Gábor Dr. <> EKF
|
||||||||||