Concept information
PREFERRED TERM
problème de satisfaisabilité booléenne
DEFINITION(S)
- le problème de satisfaction en logique propositionnelle consiste à déterminer si une formule, exprimée en logique propositionnelle, est vraie ou fausse. Ce problème est très important en informatique, car il constitue la référence des problèmes difficiles à résoudre (ce qui est l’objet de la théorie de la complexité algorithmique). Il sert de référence pour résoudre/étudier des problèmes qui lui sont réductibles ou auxquels il est réductible, tels que la vérification de logiciels, de micro-processeurs, ou de systèmes complexes. (Source : https://ia.gdria.fr/Glossaire/probleme-sat/ )
BROADER CONCEPT(S)
SYNONYM(S)
- problème SAT
- SAT
IN OTHER LANGUAGES
-
English
-
SAT problem
URI
http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6
{{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}}