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 solving the problem of search for orthogonal pairs of diagonal Latin squares of order 9 and 10. In the nearest future we hope to find the triple of mutually orthogonal Latin squares of order 10 or to prove the absence of such triples.
SAT@home 掲示板 http://sat.isa.ru/pdsat/forum_thread.php?id=2 Current goal in cryptographic area is to solve about 10 SAT problems for the generator A5/1 in few months. This generator is used in GSM standart for data encryption. Open scientific research of A5/1 is useful for creating new standarts.