- Tytuł:
- Using BOINC desktop grid to solve large scale SAT problems
- Autorzy:
-
Posypkin, M.
Semenov, A.
Zaikin, O. - Powiązania:
- https://bibliotekanauki.pl/articles/305605.pdf
- Data publikacji:
- 2012
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
desktop grid
Boolean satisfiability problem (SAT)
SAT
volunteer computing
BOINC - Opis:
- Many practically important combinatorial problems can be efficiently reduced to a problem of Boolean satisfiability (SAT). Therefore, the implementation of distributed algorithms for solving SAT problems is of great importance. In this article we describe a technology for organizing desktop grid, which is meant for solving SAT problems. This technology was implemented in the form of a volunteer computing project SAT@home based on a popular BOINC platform.
- Źródło:
-
Computer Science; 2012, 13 (1); 25-34
1508-2806
2300-7036 - Pojawia się w:
- Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł