PDA

View Full Version : SAT@Home: New solution



RSS
04-11-12, 12:19 PM
In current experiment solution of SAT problem # 7 was found by Jeff17 (http://sat.isa.ru/pdsat/show_user.php?userid=64) from BOINCstats and Bigred (http://sat.isa.ru/pdsat/show_user.php?userid=1902) from Free-DC



More... (http://sat.isa.ru/pdsat/all_news.php#30)