Aktionen

SAT@home

Aus SETI.Germany Wiki

SAT@home
SAT@home
Ziel:Löse Probleme, die auf das SAT rückführbar sind
Kategorie:Mathematik
Homepage:http://sat.isa.ru/pdsat/
Betreiber:Institute for Systems Analysis of RAS und Institute for System Dynamics and Control Theory of SB RAS Russland
Status:produktiv
Projektadressen
Serverstatus:SAT@home
Forum:SAT@home Forum
SETI.Germany
Team-Statistik:SAT@home
Teambeitritt:SETI.Germany beitreten
Teamwerbung:Für SAT@home werben
Twitter Facebook meinVZ/studiVZ
Forenthread:SETI.Germany Forum
Workunit
Frist:14 Tage
Laufzeit:
  • 1-3 Std.
    (Q9550@3,6GHz, W7-64)
  • < 3 Std.
    (e3-1230v2 (W7-64))
Upload:< 20 KB
Arbeitsspeicher:8 - 15 MB (Win7) 140 - 200 MB (Win7-64bit)
Betriebssysteme:Linux 32 Bit Windows 32 Bit Windows 64 Bit
Bildschirmschoner:Nicht vorhanden
Checkpoints:Vorhanden

 

 

SAT@home löst schwierige und für die Praxis wichtige Probleme, die auf das Erfüllbarkeitsproblem der Aussagenlogik (SAT) zurückgeführt werden können. Beispiele dafür finden sich u.a. bei diskreten Funktionsumkehrproblemen, diskreter Optimierung und in der Bioinformatik.

Aktuell werden Probleme bei der Umkehrung kryptografischer Funktionen gelöst, die bei der Stromverschlüsselung benutzt werden. Alle untersuchten kryptografischen Algorithmen sind öffentlich verfügbar. Die zugehörigen Aufgaben werden zufällig generiert und enthalten keine vertraulichen Informationen, alle Ergebnisse sollen veröffentlicht werden.

Geplant ist ein Experiment, um das Quadratic-Assignment-Problem zu lösen.

Weblinks