Using BOINC desktop grid to solve large scale SAT problems
| creativeworkseries.issn | 1508-2806 | |
| dc.contributor.author | Posypkin, Mihail Anatol'evič | |
| dc.contributor.author | Semënov, Aleksandr Anatol'evič | |
| dc.contributor.author | Zaikin, Oleg | |
| dc.date.available | 2017-09-15T09:06:06Z | |
| dc.date.issued | 2012 | |
| dc.description | Bibliogr. s. 32-33. | |
| dc.description.abstract | 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. | en |
| dc.description.placeOfPublication | Kraków | |
| dc.description.version | wersja wydawnicza | pl |
| dc.identifier.doi | https://doi.org/10.7494/csci.2012.13.1.25 | |
| dc.identifier.eissn | 2300-7036 | |
| dc.identifier.issn | 1508-2806 | |
| dc.identifier.nukat | dd2012318083 | pl |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/48692 | |
| dc.language.iso | eng | |
| dc.publisher | Wydawnictwa AGH | |
| dc.relation.ispartof | Computer Science | |
| dc.rights | Attribution 4.0 International | |
| dc.rights.access | otwarty dostęp | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/legalcode | |
| dc.subject | desktop grid | en |
| dc.subject | Boolean satisfiability problem (SAT) | en |
| dc.subject | SAT | en |
| dc.subject | volunteer computing | en |
| dc.subject | BOINC | en |
| dc.title | Using BOINC desktop grid to solve large scale SAT problems | en |
| dc.title.related | Computer Science | |
| dc.type | artykuł | |
| dspace.entity.type | Publication | |
| publicationissue.issueNumber | No. 1 | |
| publicationissue.pagination | pp. 25-34 | |
| publicationvolume.volumeNumber | Vol. 13 | |
| relation.isJournalIssueOfPublication | 4a4b4212-4caf-4ed4-803a-c2d12179aa53 | |
| relation.isJournalIssueOfPublication.latestForDiscovery | 4a4b4212-4caf-4ed4-803a-c2d12179aa53 | |
| relation.isJournalOfPublication | 020291ee-249b-4dcf-98a3-276a2f7981aa |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- cs2012_13_01_025.pdf
- Size:
- 462.96 KB
- Format:
- Adobe Portable Document Format