SAT@home

From BOINC Wiki
Revision as of 21:39, 14 February 2017 by Jord (talk | contribs) (improving project description)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Sat logo.png

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

Retrieved from "https://boinc.mundayweb.com/wiki/index.php?title=SAT@home&oldid=2611"