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

??????, ??????????? ?????? ??????? ??????? ????? ? SAT@home ????? ??????????? ?? ??????????? SAT-2013 12-?? ????.

More...