PDA

View Full Version : SAT@Home: New solution



RSS
04-26-12, 09:41 AM
In current experiment solution of SAT problem # 9 was found by bronevik (http://sat.isa.ru/pdsat/show_user.php?userid=88) from Russia Team and KWH* (http://sat.isa.ru/pdsat/show_user.php?userid=2026) from Sicituradastra.



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