RSS
12-26-11, 06:01 PM
SAT problem # 2 for the generator A5/1 was solved. It took 31 days, first 20 in active mode last 11 days in inert mode. One satisfying assignment was found.
More... (http://sat.isa.ru/pdsat/all_news.php#22)
More... (http://sat.isa.ru/pdsat/all_news.php#22)