Difference between revisions of "SAT@home"
From BOINC Wiki
m (adding logo and resize) |
(improving project description) |
||
| Line 5: | Line 5: | ||
|3=Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem. | |3=Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem. | ||
|4=Linux, Windows | |4=Linux, Windows | ||
| − | |5= | + | |5=No |
| + | |6=No | ||
}} | }} | ||
Latest revision as of 21:39, 14 February 2017
Project name: SAT@home
Project URL: http://sat.isa.ru/pdsat/
Description: Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem.
Platforms: Linux, Windows
Calculates using GPUs: No
Has an OpenGL screen saver: No
