| |
| Author: |
 |
Temujin Crunch Leader
Joined: 13 Mar 2006 Total posts: 2253
Posts per day: 0.86
|
 Posted: Tue Oct 18, 2011 5:38 pm Post subject: New Project - SAT@home |
| |
http://sat.isa.ru/pdsat/
| Quote: | | 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 (as a SAT problem) within the project. Project was implemented using DC-API. |
_________________
John
Project Stats for all UBT Members
|
|
| Back to top |
|
| Choose Display Order |
|
| User Permissions |
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
|
|
 |
FAQ
Search
Memberlist
Usergroups
UBT-Chat
Log in to check your private messages 
Log in
Register
