- Tytuł:
- Rozwiązanie problemu trójspełnialności formuł logicznych z użyciem architektury CUDA
- Autorzy:
-
Widuch, J.
Krawczyk, K. - Data publikacji:
- 2013
- Słowa kluczowe:
-
GPGPU
CUDA
wielowątkowość
SIMD
problem 3-SAT
multithreading
3-SAT problem - Pokaż więcej
- Dostawca treści:
- BazTech