Artykuł  

Using BOINC desktop grid to solve large scale SAT problems

Pliki
cs2012_13_01_025.pdf  (462.96 KB)
Link do zdalnego zasobu
Dostęp z terminali w BG AGH
Data publikacji
2012
Data publikacji (copyright)
Data prezentacji
Data obrony
Data nadania stopnia
Autorzy (rel.)
Posypkin, Mihail Anatol'evič
Semënov, Aleksandr Anatol'evič
Zaikin, Oleg
Nr albumu:
Prawa dostępu
Dostęp: otwarty dostęp
Uwagi:
Prawa: CC BY 4.0
Attribution 4.0 International
Uznanie autorstwa 4.0 Międzynarodowe (CC BY 4.0)

Inny tytuł
Typ zasobu:
artykuł
Wersja
wersja wydawnicza
Sygnatura:
Nr normy / patentu
Numer czasopisma (rel.)
thumbnail.journal.alt
Numer czasopisma
Computer Science
2012 - Vol. 13 - No. 1
Szczegóły wydania / pracy
Uczelnia:
Opublikowane w: Computer Science. -:. Vol. 13 – No. 1, pp. 25-34
Opis fizyczny:Skala:Zasięg:
ISBN:e-ISBN:
Seria:ISSN: 1508-2806e-ISSN: 2300-7036
Jednostka AGH:
Kierunek:
Forma studiów:
Stopień studiów:
Uzyskany tytuł:
Instytucja sprawcza:
Redaktorzy (rel.)
Promotorzy (rel.)
Recenzenci (rel.)
Projekty badawcze (rel.)
Projekt
Tytuł:ID:Program:
Instytucja Finansująca
ROR: 
Dane badawcze:
Jednostki organizacyjne (rel.)
Wydarzenia (rel.)
Dyscyplina
Słowa kluczowe
desktop grid, Boolean satisfiability problem (SAT), SAT, volunteer computing, BOINC
Dyscyplina (2011-2018)
Specjalność
Klasyfikacja MKP
Abstrakt

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.

Opis
Zawartość
URI
https://repo.agh.edu.pl/handle/AGH/48692
Kolekcje
Artykuły (CN-csci)