Difference between revisions of "SAT@home"
From BOINC Wiki
(adding into template) |
(improving project description) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | [[File:Sat logo.png|200px|right]] | ||
{{Projects | {{Projects | ||
|1=SAT@home | |1=SAT@home | ||
| Line 4: | 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
