Bonjour, actuellement, je m'intéresse au problème 3-SAT, et j'ai entendu dire que régulièrement des tournois d'algorithmes de résolution sont organisés. J'aimerais, si vous pouvez, me dire qu'elles sont les performances des meilleurs algorithmes actuelles ainsi que les méthodes qu'ils utilisent, c'est-à-dire, le temps en second moyen pour résoudre :
- 20 variables, 91 clauses
- 50 variables, 218 clauses
- 75 variables, 325 clauses
- 100 variables, 430 clauses
- 125 variables, 538 clauses
- 150 variables, 645 clauses
- 175 variables, 753 clauses
- 200 variables, 860 clauses
- 225 variables, 960 clauses
- 250 variables, 1065 clauses
et les heuristiques utilisées pour les résoudre.
Merci pour votre aide.
-----