PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Computer Science
Autorzy help
  1. 1 Posypkin M.
  2. 1 Semenov A.
  3. 1 Zaikin O.
Lata help
  1. 1 2012
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  Boolean satisfiability problem (SAT)
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Using BOINC desktop grid to solve large scale SAT problems
Posypkin M., Semenov A., Zaikin O.
Computer Science
|
2012
|
Vol. 13 (1)
25-34
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.