Concept information
PREFERRED TERM
solveur SAT
DEFINITION(S)
- 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/ )
BROADER CONCEPT(S)
IN OTHER LANGUAGES
-
English
URI
http://data.loterre.fr/ark:/67375/23L-HP7170CW-N
{{toUpperCase label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}