Valutazione attuale: 5 / 5

Stella attivaStella attivaStella attivaStella attivaStella attiva
 
SAT

 

AMBITO: Matematica
STATO:  ATTIVO 
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.



Per commentare questo post nel forum devi effettuare il login

Articoli

Written on 09/12/2016, 12:08 by boboviz
versione-7,6,33-nuova-release-stabileGli amministratori di Boinc hanno dichiarato "stabile" la versione 7.6.33 del client, che diventa anche quella raccomandata. Qui le note di rilascio (e...

Ultime dal Blog

Written on 08/04/2016, 11:16 by boboviz
xeon-771-su-socket-775Guida a come adattare fisicamente uno Xeon 771 a un socket 775 (by Re Leon) Premesso che ci sono diverse limitazioni a questa pratica, derivanti dalla...