Music Player Project RSS Feeds forum rss config Login/out Calendar Downloads Wiki FAQ Search News Album Registration Memberlist Profile Portal Forum Contact us
 SAT@home (Parallel and Distributed SAT Solver) View unanswered posts

Post new topicReply to topic
Author Message


Joined: 19 Dec 2005
Posts: 2842
Location: Germany


PostPosted: 10.10.2011, 14:36    SAT@home (Parallel and Distributed SAT Solver) Reply with quoteBack to top



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.


OfflineView user's profileSend private messageSend e-mailSkype NameICQ Number    

Age: 46
Joined: 07 Jun 2014
Posts: 387
Location: Beuern


PostPosted: 07.04.2018, 10:16    (No subject) Reply with quoteBack to top

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

OfflineView user's profileSend private message    
Display posts from previous:      
Post new topicReply to topic

 Jump to:   

Show permissions

Werbepartner: Hundeschule Potsdam

Powered by Orion based on phpBB

CBACK Orion modified by Rebirther
Statistics - All times are GMT + 1 Hour

[ Page generation time: 0.0649s (PHP: 81% - SQL: 19%) | SQL queries: 22 | GZIP disabled | Debug on ]