#1 SAT@home project description
Posted: Thu Oct 31, 2013 8:03 pm
http://sat.isa.ru/pdsat/index.php
SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we are searching for triple of mutually orthogonal Latin squares of order 10.
SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we are searching for triple of mutually orthogonal Latin squares of order 10.