Welcome SAT@home

Message boards : News : Welcome SAT@home

To post messages, you must log in.

AuthorMessage
Profile David Anderson
Volunteer moderator
Project administrator
Project developer
Avatar

Send message
Joined: 10 Sep 05
Posts: 615
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
Avatar

Send message
Joined: 21 May 07
Posts: 348
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.
http://sciencesprings.wordpress.com
http://facebook.com/sciencesprings
http://twitter.com/sciencesprings
ID: 42472 · Report as offensive

Message boards : News : Welcome SAT@home


Copyright © 2017 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.