Pagina 1 di 4
VOTO: ( N.P. )
Pagina in allestimento.
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. Project was implemented using DC-API library.
Per ulteriori informazioni visitate il thread ufficiale presente nel nostro forum.
- Avanti >>