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

SAT@home Empty SAT@home

le 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