SAT@home/en

Aus BC-Wiki
Zur Navigation springen Zur Suche springen

SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to SAT. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (hard optimization problem) within the project.

SAT@home
Start 2011
End End of 2017
Status finished
Admin Oleg Zaikin
Institution Institute for Systems Analysis of RAS and Institute for System Dynamics and Control Theory of SB RAS
Country Russia
Area Grid/Informatic
Apps
Win ParallelAndDistributedSATsolver 3.20
PD-SAT for cryptology 2.05
Linux ParallelAndDistributedSATsolver 3.20
PD-SAT for cryptology 2.05
Mac
64bit ParallelAndDistributedSATsolver 3.20 [win/linux]
PD-SAT for cryptology 2.05 [win/linux]
PS3
ATI
CUDA
Intel
Android
RPi
NCI
System-Specs
VRAM SP DP
RAM 4,8MB
Runtime 2,5h
HDD 0,7MB
Traffic dl/ul kb / kb
Deadline 3 days
Checkpoints