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.
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.
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum
|
|