Loterre: IA: solveur SAT

méthode de l'intelligence artificielle > algorithme > algorithme de satisfaction de contraintes > solveur SAT

solveur SAT

algorithme dédié à la résolution efficace des instances (cas) du problème SAT. La complexité théorique du problème SAT fait que l’on sait que pour un certain nombre d’instances on ne pourra pas trouver de solution en un temps raisonnable. Le but des solveurs SAT est de trouver une solution pour un maximum d’instances. Ce qui est généralement suffisant en pratique sur les problèmes réels. (Source : https://ia.gdria.fr/Glossaire/solveur-sat/ )

http://data.loterre.fr/ark:/67375/23L-HP7170CW-N

RDF/XML TURTLE JSON-LD última modificación 8/9/25

Thésaurus de l'intelligence artificielle