BOINC@AUSTRALIA FORUM
September 23, 2019, 12:21:49 AM *
Welcome, Guest. Please login or register.

Login with username, password and session length
News: We have a Twiiter Account for the Team https://twitter.com/BOINCAUSTRALIA
 
   Home   Help Login Register  
Pages: [1]   Go Down
  Print  
Author Topic: Project Overview  (Read 58398 times)
Dingo
Founder BOINC@AUSTRALIA
ADMINISTRATOR
Super Hero
*****

Aussie Karma: +2163/-0
Offline Offline

Posts: 9211



WWW
« on: February 15, 2012, 03:21:44 PM »


Project Summary

 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.

Applications

Microsoft Windows (98 or later) running on an Intel x86-compatible CPU    
Linux running on an Intel x86-compatible CPU    
Linux running on an AMD x86_64 or Intel EM64T CPU

Connecting to SAT@Home

The projects Home Page and URL to connect is: http://sat.isa.ru/pdsat/

Statistics

http://boincstats.com/stats/team_graph.php?pr=sat&id=91
Logged


Have a look at the BOINC@AUSTRALIA Facebook Page and join.

Proud Founder and member of BOINC@AUSTRALIA

HERE are my Primes from Primegrid

Have a look at my  Web Cam of Parliament House Ottawa, CANADA
Pages: [1]   Go Up
  Print  
 
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.11 | SMF © 2006-2009, Simple Machines LLC Valid XHTML 1.0! Valid CSS!
Page created in 0.042 seconds with 18 queries.