Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Le problème de la satisfaisabilité d'une formule logique propositionnelle, ou problème SAT, est très étudié en informatique, car nombre de problèmes de décision théoriques ou pratiques peuvent être traduits facilement en un problème SAT équivalent. Bien qu'il soit connu depuis 1971 comme NP-complet, de nombreuses recherches ont été menées avec succès afin d'améliorer l'efficacité de sa résolution en pratique. Parmi les nombreuses thématiques actuellement explorées, se trouvent d'une part l'utilisation d'architectures parallèles, dont le but est de répartir la charge de calcul de la résolution entre plusieurs processeurs, et d'autre part la décomposition des problèmes traités, qui consiste, au lieu …
