SAT@home (Parallel and Distributed SAT Solver)

Beendet
Post Reply
Message
Author
User avatar
rebirther
Admin
Posts: 2901
Joined: 19.12.2005, 00:59
Location: Germany

SAT@home (Parallel and Distributed SAT Solver)

#1 Post by rebirther » 10.10.2011, 14:36

http://sat.isa.ru/pdsat/

Team

Wiki
PDSAT 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.

User avatar
DoctorNow
Moderator
Posts: 532
Joined: 07.06.2014, 12:56
Location: Beuern

#2 Post by DoctorNow » 07.04.2018, 10:16

Das Projekt gibt's schon ein paar Monate nicht mehr, wurde bei BOINCstats bereits stillgelegt.
Bitte mal den Thread verschieben...
Life is Science, and Science rules. To the universe and beyond
Member of BOINC@Heidelberg + BOINC Confederation
My BOINC-Stats / My Badges-List

Post Reply