PDA

View Full Version : SAT@Home: 2 new papers about searching decompisitions for SAT@home



RSS
01-25-13, 04:50 AM
More... (http://sat.isa.ru/pdsat/all_news.php#56)