BOINC OCCITANIA

Boinc occitanie


Vous n'êtes pas connecté. Connectez-vous ou enregistrez-vous

BOINC OCCITANIA » BOINC ET SES PROJETS » LES PROJETS "BOINC" » Mathématiques - Informatique » SAT@home

SAT@home

Aller en bas  Message [Page 1 sur 1]

1 SAT@home le Lun 22 Oct - 10:48

Fm82290

avatar
Occitan
Occitan
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.

http://boinc-occitania.forum-actif.info

Revenir en haut  Message [Page 1 sur 1]

Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum