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 17/05/2017, 20:41 by boboviz
le-novità-di-foldit-2Questa è la seconda parte dell’articolo in cui abbiamo discusso dei recenti miglioramenti della qualità delle catene primarie Proteine ripiegateQui sotto...

Ultime dal Blog

Written on 17/05/2017, 20:34 by boboviz
il-blog-di-folditCari sodali dello scaccolo, abbiamo pensato di raccogliere tutti gli articoli degli amministratori del progetto Fold.it in una unica sezione indicizzata,...