Bekijk het gehele bericht
[boinc news] Welcome SAT@home
Moderator: Jan van de Velde
-
Boinc-feed
- Artikelen: 0
- Berichten: 109
- Lid geworden op: zo 04 jan 2009, 16:11
[boinc news] Welcome SAT@home
The SAT@home project, from the Institute for Systems Analysis of Russian Academy of Sciences, solves hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to the Boolean satisfiability problem.
Bekijk het gehele bericht
Bekijk het gehele bericht
BOINC: Use the idle time on your computer (Windows, Mac, or Linux) to cure diseases, study global warming, discover pulsars, and do many other types of scientific research.
