SAT@home
Aus SETI.Germany Wiki
| 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: | 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   |
| Forenthread: | SETI.Germany Forum |
| Workunit | |
| Frist: | 14 Tage |
| Laufzeit: |
|
| 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
