SAT@home at SAT-2013 conference
Poster about estimating time to solve problems in the SAT@home project will be present at SAT-2013 conference on July 12.



More...