Sammanfattning Många praktiskt taget viktiga kombinatoriska problem kan effektivt reduceras till ett problem med Boolesk satisfiability (SAT). Därför är genomförandet av distribuerade algoritmer för att lösa SAT-problem av stor betydelse. I denna artikel beskriver vi en teknik för att organisera desktop rutnät, som är avsedd för att lösa SAT-problem. Denna teknik genomfördes i form av ett frivilligt datorprojekt SAT@home baserat på en populär BOINC-plattform.
Senare flera dussin kryptoanalys instanser för detta chiffer löstes i SAT@home volontär computing projekt REF.
USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS
{'venue': 'Computer Science', 'journal': 'Computer Science (AGH)', 'mag_field_of_study': ['Computer Science']}