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
Status:	inaktiv/beendet
Projektadressen
Serverstatus:	SAT@home
Forum:	SAT@home Forum
SETI.Germany
Team-Statistik:	SAT@home
Teambeitritt:	SETI.Germany beitreten
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:
Bildschirmschoner:
Checkpoints:

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

• Wissenschaftlicher Hintergrund (engl.)
• FAQ (engl.)
• Publikationen (russ., engl.)
• gefundene Lösungen
• Anwendungen
• RSS-Feed