BOINC OCCITANIA

Boinc occitanie


SAT@home

Partagez
avatar
Fm82290
Occitan
Occitan

Nombre de messages : 1061
Age : 43
Localisation : Barry d'Islemade
Date d'inscription : 28/04/2008

SAT@home

Message par Fm82290 le Lun 22 Oct - 10:48

Inscription : http://sat.isa.ru/pdsat/

SAT@home est un projet de recherche qui utilise des ordinateurs connectés à Internet pour résoudre des problèmes difficiles et pratiquement importante (problèmes discrets fonctions inversion, optimisation discrète, bioinformatique, etc) qui peuvent être effectivement réduites à problème de satisfiabilité booléenne . Pour le moment nous résolvons le problème de la recherche de paires orthogonales de diagonales des carrés latins d'ordre 9 et 10. Dans un proche avenir, nous espérons trouver le triple de carrés latins orthogonaux mutuellement de l'ordre de 10 ou de prouver l'absence de tels triplets. Le projet a été mis en œuvre en utilisant DC-API de la bibliothèque.

    La date/heure actuelle est Jeu 21 Sep - 19:27