Occitanie
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
-34%
Le deal à ne pas rater :
-34% LG OLED55B3 – TV OLED 4K 55″ 2023 – 100Hz HDR 10+, ...
919 € 1399 €
Voir le deal

Aller en bas
Fm82290
Fm82290
Occitan
Occitan
Nombre de messages : 1289
Age : 49
Localisation : Barry d'Islemade
Date d'inscription : 28/04/2008
https://boinc-occitania.1fr1.net

SAT@home Empty SAT@home

Lun 22 Oct - 12: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.
Revenir en haut
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum