PDA

View Full Version : SAT@Home: New experiment - diag10_2



RSS
09-03-12, 01:57 AM
New experiment was started. The goal is to find pairs of diagonal latin squares of order 10. New version 3.00 of appliction was released for these proposes.


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