Séance de cours
Solveur SAT: Techniques d'optimisation
Description
Cette séance de cours couvre les méthodes d'optimisation utilisées dans la mise en œuvre d'un solveur SAT, y compris les approches récursives et itératives, l'heuristique de décision, les graphiques d'implication et les repères. Il explore également l'application de ces techniques dans la résolution des puzzles Sudoku.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.