RSS
04-16-12, 03:40 AM
In current experiment solution of SAT problem # 8 was found by eLPeCKo (http://sat.isa.ru/pdsat/show_user.php?userid=3210) from Czech National Team and koll (http://sat.isa.ru/pdsat/show_user.php?userid=154) from Czech National Team
More... (http://sat.isa.ru/pdsat/all_news.php#31)
More... (http://sat.isa.ru/pdsat/all_news.php#31)