Concept information
TERME PRÉFÉRENTIEL
solveur SAT
DÉFINITION(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/ )
CONCEPT(S) GÉNÉRIQUE(S)
TRADUCTIONS
-
anglais
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}}