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.

SAT@home founded by

• Institute for Systems Analysis of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation
• Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic

About

• Project personnel
• Science
• FAQ
• Publications
• Found solutions

Join SAT@home

• Read our rules and policies
• Download, install and launch BOINC client software
• When prompted, enter URL:
  http://sat.isa.ru/pdsat/
• If you have any problems, get help here

Information for participants

• Your account - view stats, modify preferences
• Teams - create or join a team
• Certificate
• Applications
• Server status

Community

• Profiles
• User search
• Message boards
• Statistics
• Languages