News:

If you are a member of the Team on BOINC you still need to register on this forum to see the member posts.  The posts available for visitors are not posted to much by members.
 Remember to answer the questions when Registering and also you must be a active member of Team BOINC@AUSTRALIA on BOINC.

Main Menu

SAT@HOME

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 Boolean satisfiability problem. Currently in the project problems of inversion of some cryptographic functions used in stream ciphers are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem within the project. Project was implemented using DC-API library.

Moderator: Dingo.

Poll
Moved Topic

Locked Topic
Sticky Topic
Topic you are watching