- Tytuł:
- Using BOINC desktop grid to solve large scale SAT problems
- Autorzy:
-
Posypkin, M.
Semenov, A.
Zaikin, O. - Tematy:
-
desktop grid
Boolean satisfiability problem (SAT)
SAT
volunteer computing
BOINC - Pokaż więcej
- Data publikacji:
- 2012
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Dostawca treści:
- Biblioteka Nauki
Artykuł