AMDave
07-08-2013, 03:47 PM
SAT@home at SAT-2013 conference
Poster about estimating time to solve problems in the SAT@home project (http://www.amdusers.com/forum/files/SAT@home_SAT2013_poster.pdf) will be present at SAT-2013 conference on July 12.
More... (http://sat.isa.ru/pdsat/all_news.php#68)
Poster about estimating time to solve problems in the SAT@home project (http://www.amdusers.com/forum/files/SAT@home_SAT2013_poster.pdf) will be present at SAT-2013 conference on July 12.
More... (http://sat.isa.ru/pdsat/all_news.php#68)