Index
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
rebirther
Admin



Gender:

Joined: 19 Dec 2005
Posts: 2800
Location: Germany


de.png

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

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

Team

Wiki

Quote:
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.

_________________
http://signature.statseb.fr/sig-922.png

OfflineView user's profileSend private messageSend e-mailSkype NameICQ Number    
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.0684s (PHP: 80% - SQL: 20%) | SQL queries: 22 | GZIP disabled | Debug on ]