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 13/07/2017, 22:23 by boboviz
cristallografia-a-raggi-xFin dal nostro ultimo post, abbiamo condotto un esperimento di diffrazione a raggi-X con uno dei nostri cristalli proteici. Siamo stati fortunati che i...

Ultime dal Blog

Written on 19/06/2017, 14:38 by boboviz
addio-lugano-bellaCari sodali scaccolatori,come alcuni di voi sanno, il sottoscritto, oltre ad essere appassionato di Boinc, è anche "appassionato" di HPC e, visto che il...