Welcome SAT@home

Message boards : News : Welcome SAT@home
Message board moderation

To post messages, you must log in.

Profile David Anderson
Volunteer moderator
Project administrator
Project developer

Send message
Joined: 10 Sep 05
Posts: 721
Message 42469 - Posted: 7 Feb 2012, 18:40:20 UTC
Last modified: 7 Feb 2012, 18:43:03 UTC

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.

ID: 42469 · Report as offensive
Profile mitrichr

Send message
Joined: 21 May 07
Posts: 349
United States
Message 42472 - Posted: 7 Feb 2012, 19:47:52 UTC - in response to Message 42469.  
Last modified: 7 Feb 2012, 19:48:07 UTC

It is always nice to see a new project, especially from a new country. Glad to try to help. I added one i7 machine. If it succeeds, I will add others.

ID: 42472 · Report as offensive

Message boards : News : Welcome SAT@home

Copyright © 2024 University of California.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.